restore all unit tests

lang/lib/exec/proj.toml

@@ -3,54 +3,54 @@ name = "ExecTests"
 srcs = [
     "../std/core.zy",
     "../std/data.zy",
-    # "../std/avl.zy",
+    "../std/avl.zy",
 ]
 deps = []
-bins = [
-    # "algtrans.zy",
-    "motrans.zy",
-    # "alg.zy",
-    # "malt.zy",
-]
 # bins = [
-#     "abort.zy",
-#     "add.zy",
-#     "alg.zy",
-#     "algtrans.zy",
-#     "alias.zy",
-#     "bigmac.zy",
-#     "cbpv-monadic.zy",
-#     "cbpv.zy",
-#     "cbv.zy",
-#     "choice.zy",
-#     "defunctionalization.zydeco",
-#     "deterministic-pushdown-automaton.zydeco",
-#     "even-odd-codata.zy",
-#     "even-odd-data.zy",
-#     "even-old-rec.zy",
-#     "exists.zy",
-#     "explosion.zy",
-#     "fn-opt.zy",
-#     "forall.zy",
-#     "hash.zy",
-#     "ifz.zy",
-#     "interpreter.zydeco",
-#     "list.zydeco",
-#     "listm.zydeco",
-#     "loop.zydeco",
-#     "loopy.zy",
-#     "malt.zy",
+#     # "algtrans.zy",
 #     "motrans.zy",
-#     "num.zy",
-#     "oo.zydeco",
-#     "optiont.zy",
-#     "partial-annotation.zy",
-#     "regex.zy",
-#     "ret.zydeco",
-#     "trans.zy",
-#     "unit.zy",
-#     "varidic.zy",
-#     "Y.zydeco",
+#     # "alg.zy",
+#     # "malt.zy",
 # ]
+bins = [
+    "abort.zy",
+    "add.zy",
+    "alg.zy",
+    "algtrans.zy",
+    "alias.zy",
+    "bigmac.zy",
+    "cbpv-monadic.zy",
+    "cbpv.zy",
+    "cbv.zy",
+    "choice.zy",
+    "defunctionalization.zydeco",
+    "deterministic-pushdown-automaton.zydeco",
+    "even-odd-codata.zy",
+    "even-odd-data.zy",
+    "even-old-rec.zy",
+    "exists.zy",
+    "explosion.zy",
+    "fn-opt.zy",
+    "forall.zy",
+    "hash.zy",
+    "ifz.zy",
+    "interpreter.zydeco",
+    "list.zydeco",
+    "listm.zydeco",
+    "loop.zydeco",
+    "loopy.zy",
+    "malt.zy",
+    "motrans.zy",
+    "num.zy",
+    "oo.zydeco",
+    "optiont.zy",
+    "partial-annotation.zy",
+    "regex.zy",
+    "ret.zydeco",
+    "trans.zy",
+    "unit.zy",
+    "varidic.zy",
+    "Y.zydeco",
+]
 
 std = "NoStd"