module CC.Backend.Dumb(builtins) where

import qualified Data.Map.Strict as Map

import CC.AST.Typed
import CC.Context


builtins :: Builtins
builtins = Builtins . Map.fromList $
    [ ("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)) ]