blob: 070fece41a0a8dbe5104626bc9ddfeef8efd173a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
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)) ]
|