Good point. Can you put such findings into the bugtracker?
http://sourceforge.net/tracker/?atid=972421&group_id=200168 In fact also "Type" in front of "with" should not be promoted. Just ... == with foo: % -> Integer should be sufficient. Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
