>
> would like to have a binary operation -> (or something similar, e.g. =>,
> ==>, -->". How to handle this properly with all these special meanings?
==> is used for macros, no chance for other uses. Also '=>' is too
special. '->' is an operation, but it produces types. Overloading
type producing operation would lead to creasy problem, I do not
want to think about it.
'-->' starts a comment.
ATM avaliable operators are hardcoded in 'scan.boot' and interpreter
grammar is also hardcoded. We could probably add some new arrow
operators like '=->', '-+>', '~>' or ':->'.
If we seriously think about user defined operators then
we probably need to have some rule which specify form of
possible operators. Spad parser allows adding operator
symbols at runtime and in principle the same could be done
for interpreter parser, but adding operators to scanner would
be problematic so for scanner we need a rule.
--
Waldek Hebisch
--
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 view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/E1i37mz-0007gB-EM%40hera.math.uni.wroc.pl.
