aboutsummaryrefslogtreecommitdiff
path: root/typecheck/CC
diff options
context:
space:
mode:
Diffstat (limited to 'typecheck/CC')
-rw-r--r--typecheck/CC/Typecheck.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/typecheck/CC/Typecheck.hs b/typecheck/CC/Typecheck.hs
index 8803a62..f61103e 100644
--- a/typecheck/CC/Typecheck.hs
+++ b/typecheck/CC/Typecheck.hs
@@ -193,7 +193,7 @@ inferList env (expr : exprs) = do
runPass :: Context -> S.Program -> Either TCError T.Program
runPass (Context _ (Builtins builtins)) prog =
- let env = Env (Map.fromList [(name, generalise emptyEnv ty) | (name, ty) <- builtins])
+ let env = Env (Map.map (generalise emptyEnv) builtins)
in runTM (typeCheck env prog)
typeCheck :: Env -> S.Program -> TM T.Program