I think that we should try a different approach, forget about
the importing
mechanism, and make a single statement defining the intended semantics.
Section 1.2 (The Haskell Kernel) is the place. I propose adding the
following.
The translations given, and the identities given for
Ken Sailor,
In your mail to the Haskell group, you write:-
On another level, what about a language that could handle multiple
symbol tokens (if-then-else, [-], while-do) as well as all the
different fixities? It is available now in OBJ3, but the parsing
algorithm is backtracking --