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

Fixed types on functions in the code generator.

Browse source
This commit is contained in:
Samuel Hammersberg 2023-02-16 14:16:08 +01:00
parent 6d9c42a03e
commit ab34666484
2 changed files with 18 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

15
sample-programs/basic-1
View file

@ -1,13 +1,20 @@
--tripplemagic : Int -> Int -> Int -> Int;
--tripplemagic x y z = ((\x:Int. x+x) x) + y + z;
-- main : Int;
-- main = tripplemagic ((\x:Int. x+x+3) ((\x:Int. x) 2)) 5 3
--main : Int;
--main = tripplemagic ((\x:Int. x+x+3) ((\x:Int. x) 2)) 5 3
apply : (Int -> Int) -> Int -> Int;
apply f x = f x;
main : Int;
main = apply (\x:Int . x + 2) 5;
main = (\x : Int . x + 5) 5
--apply : (Int -> Int -> Int) -> Int -> Int;
--apply f x y = f x y;
--krimp: Int -> Int -> Int;
--krimp x y = x + y;
--main : Int;
--main = apply (krimp) 2 3;--apply (\y: Int . (\x: Int . x + y + 2)) 5 2;