diff options
Diffstat (limited to 'typecheck/CC')
| -rw-r--r-- | typecheck/CC/Typecheck.hs | 2 |
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 |