> * Maybe every domain (either of category Type, or BasicType) should have > CoercibleTo(%), and ConvertibleTo should have CoercibleTo. There are two > possible reasons against it: > > 1) it might not work (after all, it's somehow recursive) > > 2) it might slow down the system.
It should not hurt the Compiler, but maybe the interpreter. What I don't understand is your motivation for adding coerce: % -> % to any BasicType. What use case do you have in mind? 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 -~----------~----~----~----~------~----~------~--~---
