making forward progress

Author: andrew-johnson-4

Makefile

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

PRODUCTION/preprocess.lm

@@ -1,6 +1,6 @@
 
 preprocess-index-types := ();
-
+	
 preprocess := λprogram . (tail(
    (preprocess-index-typedefs program)
    (preprocess-apply-macros program)
@@ -103,13 +103,13 @@ try-destructure-macro := λlhs e . (match (lhs e) (
       (if (eq( pl el )) Accept ())
    ))
    ( ( (App( (Literal :Literal:) (Variable pv) )) (Literal el)) (
-      (if (typecheck-is-constructor el)
+      (if (preprocess-index-of-tag el)
          ()
          (Accept (KV( pv e )))
       )
    ))
    ( ( (App( (Literal :Tag:) (Variable pv) )) (Literal el)) (
-      (if (typecheck-is-constructor el)
+      (if (preprocess-index-of-tag el)
          (Accept (KV( pv
             (App(
                (App(

STDLIB/default-rules.lm

@@ -27,7 +27,7 @@ macro ('match-pats-condition term (:Literal: l)) (
    (==( term l ))
 );
 
-#macro ('match-pats-condition term (:Tag: l)) (
-#   (==( (.0( term )) l ))
-#);
+macro ('match-pats-condition term (:Tag: l)) (
+   (==( (.0( term )) l ))
+);