Ralf Hemmecke wrote:
>
> 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
'->' is used in several places internaly. I would not expect it
to work as normal operator.
--
Waldek Hebisch
[email protected]
--
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.
