From 5b15f056d1a52d6d05f9441d44bf0b50ae480229 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Sat, 25 Jul 2020 10:34:17 +0200 Subject: Namespacing of AST's, not suffix-disambiguation --- backend/CC/Backend/Dumb.hs | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'backend/CC') 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)) ] -- cgit v1.2.3-70-g09d2