Yrogirg wrote:
> 
> And what is wring with this package?
> 
> )abbrev package TST Test
> 
> Test(R: Algebra(Float)): with
>     g : Float -> Float
>  == add
>     g y == y
>     f(x : Integer, y : Integer) : (Float -> Float) == f +-> f
> 

As Ralf wrote this was compiler bug.  I just commited fix to trunk.

-- 
                              Waldek Hebisch
[email protected] 

-- 
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.

Reply via email to