Rakarake/churf
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Improved prelude

Browse source
This commit is contained in:
sebastianselander 2023-05-05 14:09:54 +02:00
parent 7562949909
commit 63fef958a7
1 changed files with 6 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

11
src/Main.hs
View file

@ -178,12 +178,13 @@ prelude :: String
prelude =
unlines
[ "\n"
, -- , "customHelperFunctionCuzPoorImplementation : Bool () -> Int -> Bool ()"
-- , "customHelperFunctionCuzPoorImplementation x y = x"
"data Bool where"
, "data Bool where"
, " False : Bool"
, " True : Bool"
, "lt : Int -> Int -> Bool"
, "lt x y = True"
, -- The function body of lt is replaced during code gen. It exists here for type checking purposes.
"lt : Int -> Int -> Bool"
, "lt x y = case x of"
, " _ => True"
, " _ => False"
, "\n"
]