Consider the following interaction with Poly/ML:

Poly/ML 5.1 Testing

val e = ("a", "b") ;

val e = ("a", "b") : string * string

#1e ;

Error: malformed real number: 1E

Error: Identifier expected but 1E was found

Static errors (pass 1)

The correct way to lex the above is to first lex "#1" as a selector and then "e" as an identifier.

-Vesa Karvonen