diff options
| author | Tom Smeding <tom.smeding@gmail.com> | 2020-07-25 10:34:17 +0200 |
|---|---|---|
| committer | Tom Smeding <tom.smeding@gmail.com> | 2020-07-25 10:34:17 +0200 |
| commit | 5b15f056d1a52d6d05f9441d44bf0b50ae480229 (patch) | |
| tree | aeb2608d776b9de51ef4eba1ec1435ebc681cffc /backend/CC/Backend | |
| parent | 1bb0168450a5c871f5c70e68f8e3f9f204ffb58d (diff) | |
Namespacing of AST's, not suffix-disambiguation
Diffstat (limited to 'backend/CC/Backend')
| -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)) ] |