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)