projects
/
scheme.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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
(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)
'() ))))
(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
(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")
(emit "\t.global _start")
(emit "\t.text")