Fix total pattern match verification

[scheme.git] / codegen.scm

diff --git a/codegen.scm b/codegen.scm
index 7518d8396527ec44c9291f854aea6d128c33ab08..748781d9f4cde883830176a93c651172c8ec81f4 100644 (file)
--- a/codegen.scm
+++ b/codegen.scm
@@ -502,7 +502,6 @@
        (if (eqv? 'var (ast-type x))
            (list (cons x inner-offset))
            (begin
-;            (display "LITERALliteral\n")
              (emit "cmpq $~a, ~a(%rbp)" x inner-offset)
              (emit "jne ~a" jne-label)
              '() ))))
@@ -874,7 +873,7 @@
         (xform-prog (cdr lambdas-res)))
 
                                        ; verify pattern matches are total
-;    (verify-cases data-layouts type-annotated)
+    (verify-cases data-layouts type-annotated)
 
     (emit "\t.global _start")
     (emit "\t.text")