module CC.Backend.Dumb(builtins) where

import CC.AST.Typed
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)) ]