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
****** comp fails at level 1 with expression: ******
((DEF (|f| |x| |y|) ((|Mapping| (|Float|) (|Float|)) (|Integer|) (|
Integer|))
(NIL NIL NIL) (+-> |f| |f|)))
****** level 1 ******
$x:= (DEF (f x y) ((Mapping (Float) (Float)) (Integer) (Integer)) (NIL
NIL NIL) (+-> f f))
$m:= $EmptyMode
$f:=
((((|$Information| #) (~= #) (= #) (|coerce| #) ...)))
>> Apparent user error:
Wrong number of arguments:
(f x y)
Surprisingly with just
f(x : Integer) : (Float -> Float) == f +-> f
it compiles.
--
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.
