The attached code compiles on my system, but how do I use -> inside a
session? I would have liked to use it with the meaning of a implies b.
(499) -> )sh Foo
Foo is a package constructor
Abbreviation for Foo is FOO
This constructor is exposed in this frame.
----------------- Operations ---------------------
?->? : (String,String) -> String ?\/? : (String,String) -> String
foo : (String,String) -> String
(498) -> foo("a", "b")
(498) "a==>b"
(499) -> ("a" -> "b")$Foo
Internal Error
The function -> with signature hashcode is missing from domain Foo
Ralf
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
)abbrev package FOO Foo
Foo: with
foo: (String, String) -> String
_-_>: (String, String) -> String
_\_/: (String, String) -> String
== add
Rep ==> String
((x: String) -> (y: String)): String == concat([x, "==>", y]$List(String))
((x: String) \/ (y: String)): String == concat [x, " and ", y]
foo(x: String, y: String): String == x -> y
