projects
/
scheme.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
ADT codegen working for simple types
[scheme.git]
/
typecheck.scm
diff --git
a/typecheck.scm
b/typecheck.scm
index e3986062e358d763e99746f2ebdd26828337336f..35e818866df9603a3ecaa4cc721b548035d26abc 100644
(file)
--- a/
typecheck.scm
+++ b/
typecheck.scm
@@
-255,7
+255,7
@@
res))
(define (init-adts-env prog)
- (flat-map data-tors-env (program-data-layouts prog)))
+ (flat-map data-tors-
type-
env (program-data-layouts prog)))
; we typecheck the lambda calculus only (only single arg lambdas)
(define (typecheck prog)