aboutsummaryrefslogtreecommitdiff
path: root/backend/CC
diff options
context:
space:
mode:
Diffstat (limited to 'backend/CC')
-rw-r--r--backend/CC/Backend/Dumb.hs6
1 files changed, 5 insertions, 1 deletions
diff --git a/backend/CC/Backend/Dumb.hs b/backend/CC/Backend/Dumb.hs
index 822fb84..b7703d7 100644
--- a/backend/CC/Backend/Dumb.hs
+++ b/backend/CC/Backend/Dumb.hs
@@ -17,7 +17,11 @@ builtins =
, ("_mul", TInt ==> TInt ==> TInt) ]
prelude = "type Nil = ()\n\
\type Cons a = (a, List a)\n\
- \alias List a = { Nil | Cons a }\n"
+ \alias List a = { Nil | Cons a }\n\
+ \cons :: a -> List a -> Cons a\n\
+ \cons x l = Cons (x, l)\n\
+ \nil :: Nil\n\
+ \nil = Nil ()\n"
in Builtins values prelude
where
t1 = TyVar Instantiable 1