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) lex ('-':'>':s) = [("->",s)] will make lex cut off the "->" part, rather than follow the longest-lexeme rule. -- Mikael R.