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.
