StrongerXi / soc

Compiler for a subset of OCaml
1 stars 0 forks source link

Type annotation #12

Closed StrongerXi closed 3 years ago

StrongerXi commented 3 years ago

I thought about it a lot, and decided to not go with another Typed_ast IR. Although OCaml does that, I just don't see the benefit over the code dup it would bring about, so far. So I'm just adding an optional type annotation field to Ast.expression.

Again, KISS.