aboutsummaryrefslogtreecommitdiff
path: root/backend/CC
diff options
context:
space:
mode:
Diffstat (limited to 'backend/CC')
-rw-r--r--backend/CC/Backend/Dumb.hs12
1 files changed, 6 insertions, 6 deletions
diff --git a/backend/CC/Backend/Dumb.hs b/backend/CC/Backend/Dumb.hs
index 070fece..7982a06 100644
--- a/backend/CC/Backend/Dumb.hs
+++ b/backend/CC/Backend/Dumb.hs
@@ -6,9 +6,9 @@ import CC.Context
builtins :: Builtins
builtins = Builtins
- [ ("print", TFunT TIntT (TTupT []))
- , ("fst", TFunT (TTupT [TyVar 1, TyVar 2]) (TyVar 1))
- , ("snd", TFunT (TTupT [TyVar 1, TyVar 2]) (TyVar 2))
- , ("_add", TFunT TIntT (TFunT TIntT TIntT))
- , ("_sub", TFunT TIntT (TFunT TIntT TIntT))
- , ("_mul", TFunT TIntT (TFunT TIntT TIntT)) ]
+ [ ("print", TFun TInt (TTup []))
+ , ("fst", TFun (TTup [TyVar 1, TyVar 2]) (TyVar 1))
+ , ("snd", TFun (TTup [TyVar 1, TyVar 2]) (TyVar 2))
+ , ("_add", TFun TInt (TFun TInt TInt))
+ , ("_sub", TFun TInt (TFun TInt TInt))
+ , ("_mul", TFun TInt (TFun TInt TInt)) ]