aboutsummaryrefslogtreecommitdiff
path: root/backend/CC/Backend
diff options
context:
space:
mode:
authorTom Smeding <tom.smeding@gmail.com>2020-07-25 10:34:17 +0200
committerTom Smeding <tom.smeding@gmail.com>2020-07-25 10:34:17 +0200
commit5b15f056d1a52d6d05f9441d44bf0b50ae480229 (patch)
treeaeb2608d776b9de51ef4eba1ec1435ebc681cffc /backend/CC/Backend
parent1bb0168450a5c871f5c70e68f8e3f9f204ffb58d (diff)
Namespacing of AST's, not suffix-disambiguation
Diffstat (limited to 'backend/CC/Backend')
-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)) ]