X-Git-Url: https://git.lukelau.me/?p=scheme.git;a=blobdiff_plain;f=typecheck.scm;h=35e818866df9603a3ecaa4cc721b548035d26abc;hp=e3986062e358d763e99746f2ebdd26828337336f;hb=86531822ef58c5b29751976f5b41d1c631bdd459;hpb=190fc656a7b4e12e6fcf640c56e6ff71b5a39e40

diff --git a/typecheck.scm b/typecheck.scm
index e398606..35e8188 100644
--- 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)