The type system in **succ** is very rudimentary and patchily applied. Many more node types in the AST should carry explicit type information.
The type system in succ is very rudimentary and patchily applied. Many more node types in the AST should carry explicit type information.