projects
/
scheme.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Check for the right number of bindings in pattern matching
[scheme.git]
/
typecheck.scm
diff --git
a/typecheck.scm
b/typecheck.scm
index a526620e7139665fd72273394914462419cb45d0..d180e44e92e755f1e4fbb4172f3535e70f8ebb24 100644
(file)
--- a/
typecheck.scm
+++ b/
typecheck.scm
@@
-259,7
+259,7
@@
; we typecheck the lambda calculus only (only single arg lambdas)
(define (typecheck prog)
; we typecheck the lambda calculus only (only single arg lambdas)
(define (typecheck prog)
- (let ([expanded (
program-map-exprs
expand-pattern-matches prog)])
+ (let ([expanded (expand-pattern-matches prog)])
(cadr (check (init-adts-env expanded) (normalize (program-body expanded))))))
(cadr (check (init-adts-env expanded) (normalize (program-body expanded))))))