ref: 6b703e40af6cf5c5a855a4e217e91c9fd252fa4b thon/parse/thon.lex -rw-r--r-- 2.7 KiB
Lower Type.Plus precedence; parse `data eq` tyrec
Add recursive func syntax `fun f : typ = ... in ...`
Add general recursion (though recursive types already gave us that?)
Add ifz ... then ... else
Add `let ... in ...` syntax
Start setDeBruijnIndex and add name support for lambdas
Parse comments, change `pack` to `impl`, simpler typeof interface
Parse `pack` and `open`
Parsing for sum and recursive types and natlist examples
Parse universal and existential types as `all` and `some`
Parse product access as `left` and `right`
Parse type abstraction as `poly`
Use parens, not braces for rec
Parse rec and add mult by 2 example