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. 



Reply via email to