Hi Martin, > Its a strange bug, there are lots of other forward type references in > the file and they don't cause a problem, there must be some complication > with this one that can't be resolved in the first pass.
Yesterday, I only had time for a short glance over your files. When I found that you have defined domains that are mutually dependend I gave up. My suspicion is that you have some bad design in your domains. Maybe "bad design" is exaggerated, because it probably come natural when you think of the mathematics behind your implementation. However, I say this, because in my experience I only very very rarely had need for mutually dependend types. Please don't take "bad design" personally, I have not read your code (and long documentation) carefully enough to actually be able to give a proper statement. And unfortunately, I'm too busy currently to go over your files and suggest something better, still I'd suggest you sit down and think of a redesign that does not have need for reference of a domain that is not yet defined. I feel this must be possible. Yes, FriCAS should be able to cope with mutually dependend types, but for me as a programmer, it's also easier to understand code that does not have too many forward references. Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
