Ralf Hemmecke <[EMAIL PROTECTED]> writes: > > * 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?
Oh, I see now. The right design is to simply change MakeFunction(S: ConvertibleTo InputForm): Exports == Implementation where to MakeFunction(S: InputForm): Exports == Implementation where right? Martin --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
