diff options
author | Nathan Ringo <nathan@remexre.com> | 2024-01-24 00:37:06 -0600 |
---|---|---|
committer | Nathan Ringo <nathan@remexre.com> | 2024-01-24 00:37:21 -0600 |
commit | f290fca1afab9bf8aeb58ce0789b4d810abc9f66 (patch) | |
tree | 1e6defb96d80e88520d2b3c85547572d13c98871 /discocaml/dune | |
parent | 9b22d5b3358ae62c06d40b2ef78b42b1e45f8ab4 (diff) |
Adds space for letrec, some capture avoidance, remove binder arrows.
Diffstat (limited to 'discocaml/dune')
-rw-r--r-- | discocaml/dune | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/discocaml/dune b/discocaml/dune index bd96d64..61bd035 100644 --- a/discocaml/dune +++ b/discocaml/dune @@ -2,7 +2,7 @@ (name discocaml) (inline_tests) (libraries compiler-libs.common yojson) - (modules arraylist ast discocaml draw_tree eval) + (modules arraylist ast discocaml draw_tree eval util) (package discocaml) (preprocess (pps ppx_deriving.show ppx_deriving_yojson ppx_expect))) |