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.