Original-Via: uk.ac.st-and.cs; Sat, 28 Sep 91 14:29:42 BST
A minor point.
Since '<-' is not an operator should it be a reservedop (presumably the
reserved operators are a subset of the operators)? I suggest that '<-'
(but not '->') should be a special.
Tony
Original-Via: uk.ac.nsf; Sat, 28 Sep 91 08:19:16 BST
There is a bug in the lex function (PreludeText, appendix A7).
Since '-' now is valid as the first symbol of an operator, it
follows that e.g. "->>" is an operator, even though "->" is
reserved (page 8). But the clause (page 110, line -13)
