diff options
Diffstat (limited to 'backend/CC')
| -rw-r--r-- | backend/CC/Backend/Dumb.hs | 12 |
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)) ] |