From 494b764274be4db53499fa4eb7decacb93c7bbe9 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom.smeding@gmail.com>
Date: Sun, 26 Jul 2020 09:30:26 +0200
Subject: Builtins is a Map

---
 typecheck/CC/Typecheck.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'typecheck/CC')

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
-- 
cgit v1.2.3-54-g00ecf