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
