Since you are not using FriCAS, your question is probably best suited for the Aldor list. Although at present there is very little traffic on the list, there is a larger number of people subscribed there whose main interest is Aldor. See:
http://aldor.org/mailman/listinfo http://www.aldor.org Your questions and contributions to that list would be very welcome. In connection with FriCAS, Aldor is just a compiler for library code that would normally be called by the FriCAS interpreter or from other library code. Have you tried your code in this context? Regards, Bill Page. On Fri, Jul 29, 2011 at 10:14 AM, Yrogirg <[email protected]> wrote: > > > On Jul 28, 11:55 pm, Bill Page <[email protected]> wrote: >> Your code: >> >> )abbrev package TF TypeFinder >> TypeFinder(S: Type): with >> GetType: S -> Type >> == add >> GetType(x: S): Type == S >> >> --- >> >> Note: Proper indentation >> >> seems to work fine as a spad package in FriCAS. What problem do you >> see in Aldor? Are you using Aldor standalone or as the library >> compiler for FriCAS? > > I'm using aldor interpreter and there > > %2 >> #include "TypeFinder2" > Defined TypeFinder @ (S: Type) -> ( > with GetType: S -> Type > == add () > ) > Comp: 0 msec, Interp: 0 > msec > "TypeFinder2.as", line 7: GetType (x: S): Type == S > .................^ > [L7 C18] #1 (Warning) Function returns a domain that might not be > constant (which may cause problems if it is used in a dependent type). > > %3 >> import from TypeFinder(Integer) > Comp: 0 msec, Interp: 0 > msec > %4 >> import from Integer > Comp: 10 msec, Interp: 0 > msec > %5 >> GetType 2 > () @ Type > Comp: 0 msec, Interp: 0 > msec > > I expected GetType 2 to return something like > Integer @ Type > > -- > 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. > > -- 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.
