next is a macro for match

Author: andrew-johnson-4

Makefile

@@ -1,6 +1,6 @@
 
 nostd: prod
-	./production --nostd -o tmp.s STRICT/cli.lm
+	./production --nostd -o tmp.s tests/strict/match1.lm
 	as -o tmp.o tmp.s
 	ld -o tmp tmp.o
 	./tmp && echo $?

STRICT/cli.lm

@@ -6,9 +6,9 @@ import STDLIB/default-stdlib.lm;
 
 import STRICT/utility.lm;
 
-config-strict                := True;
-config-preprocess            := True;
-config-target                := 'tmp.s_s;
+#config-strict                := True;
+#config-preprocess            := True;
+#config-target                := 'tmp.s_s;
 
 type CompileMode ModeTokenize | ModeParse | ModeTypecheck | ModeCompile;
 config-mode              := ModeCompile;
@@ -17,27 +17,29 @@ main := λ(: argc U64)(: argv U8[][]).(tail(
    (let argi 0u64)
    (let input SNil)
    (while (<( argi argc )) (
+      (print 'c_s)
       (match ([]( argv argi )) (
          ()
-         ('--tokenize_s (set config-mode ModeTokenize))
-         ('--parse_s (set config-mode ModeParse))
-         ('--typecheck_s (set config-mode ModeTypecheck))
-         ('--compile_s (set config-mode ModeCompile))
-         ('--strict_s (set config-strict True))
-         ('--gradual_s (set config-strict False))
-         ('--macro_s (set config-preprocess True))
-         ('--nomacro_s (set config-preprocess False))
-         ('-o_s (tail(
-            (set argi (+( argi 1u64 )))
-            (set input (SCons(
-               (close input)
-               (close (SAtom([]( argv argi ))))
-            )))
-         )))
-         (fp (set input (SCons(
-            (close input)
-            (close (SAtom( fp )))
-         ))))
+#         (_ (print c_s))
+#         ('--tokenize_s (set config-mode ModeTokenize))
+#         ('--parse_s (set config-mode ModeParse))
+#         ('--typecheck_s (set config-mode ModeTypecheck))
+#         ('--compile_s (set config-mode ModeCompile))
+#         ('--strict_s (set config-strict True))
+#         ('--gradual_s (set config-strict False))
+#         ('--macro_s (set config-preprocess True))
+#         ('--nomacro_s (set config-preprocess False))
+#         ('-o_s (tail(
+#            (set argi (+( argi 1u64 )))
+#            (set input (SCons(
+#               (close input)
+#               (close (SAtom([]( argv argi ))))
+#            )))
+#         )))
+#         (fp (set input (SCons(
+#            (close input)
+#            (close (SAtom( fp )))
+#         ))))
       ))
       (set argi (+( argi 1u64 )))
    ))

tests/strict/match1.lm

@@ -0,0 +1,11 @@
+
+import STDLIB/default-instruction-set.lm;
+import STDLIB/default-primitives.lm;
+import STDLIB/default-rules.lm;
+import STDLIB/default-stdlib.lm;
+
+main := match 1u64 (
+   ()
+   (1u64 (print 1u64))
+   (_ (print 0u64))
+);

tests/strict/match1.lm.out

@@ -0,0 +1 @@
+1