diff options
| author | Alasdair Armstrong | 2018-12-04 13:42:01 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-12-04 13:42:01 +0000 |
| commit | 945c8b10a9498d0606f4226bc18d03ef806184f2 (patch) | |
| tree | c2f912c38817ab1e5c6e93c0eba44779250e039d /src/bytecode_util.ml | |
| parent | df78e96aed91ba2ab84cb3423cb3fff6a9a7fdcb (diff) | |
Simplify kinds in the AST
Rather than having K_aux (K_kind [BK_aux (BK_int, _)], _) represent
the Int kind, we now just have K_aux (K_int, _). Since the language is
first order we have no need for fancy kinds in the AST.
Diffstat (limited to 'src/bytecode_util.ml')
0 files changed, 0 insertions, 0 deletions