aboutsummaryrefslogtreecommitdiff
path: root/typecheck/CC
diff options
context:
space:
mode:
authorTom Smeding <tom.smeding@gmail.com>2020-07-26 09:30:26 +0200
committerTom Smeding <tom.smeding@gmail.com>2020-07-26 09:30:26 +0200
commit494b764274be4db53499fa4eb7decacb93c7bbe9 (patch)
treec8966de4c992ef9755a310435500c475814eae96 /typecheck/CC
parent0503dcb2998ab9dcd0f39e6f264f482a3d2cc7f7 (diff)
Builtins is a Map
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