lexer puzzle

[Keith Wansbrough]

> Keith Wansbrough <Keith.Wansbrough at cl.cam.ac.uk> writes:
> > 
> > And I don't think "->" is part of the language - it only appears in the type
> > syntax, not term syntax.  If you allow it, you have to allow * as well.
> 
> Errm, you just gave an example of -> in the term syntax...
> 
> > (\x -> x*x) 3

Guilty... sorry! :-(

--KW 8-)
-- 
Keith Wansbrough <kw217 at cl.cam.ac.uk>
http://www.cl.cam.ac.uk/users/kw217/
University of Cambridge Computer Laboratory.