Add end-to-end compilation tests

anoma · Feb 20, 2024 · 8f7a642 · 8f7a642
1 parent 820fa52
commit 8f7a642
Show file tree

Hide file tree

Showing 72 changed files with 2,389 additions and 2 deletions.
diff --git a/src/Juvix/Compiler/Nockma/Translation/FromTree.hs b/src/Juvix/Compiler/Nockma/Translation/FromTree.hs
@@ -17,6 +17,7 @@ module Juvix.Compiler.Nockma.Translation.FromTree
     appendRights,
     foldTerms,
     pathToArg,
+    makeList,
   )
 where