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

Fix basic tests

Browse source
This commit is contained in:
Martin Fredin 2023-02-09 20:23:49 +01:00
parent bd792f7785
commit 3d8bd24c7b
2 changed files with 8 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

7
Makefile
View file

@ -22,4 +22,11 @@ clean :
rm -r src/Grammar rm -r src/Grammar
rm language rm language
test :
./language ./sample-programs/basic-1
./language ./sample-programs/basic-2
./language ./sample-programs/basic-3
./language ./sample-programs/basic-4
./language ./sample-programs/basic-5
# EOF # EOF

2
sample-programs/basic-5
View file

@ -4,6 +4,6 @@ add x y = x + y;
double n = n + n; double n = n + n;
apply f x = \y -> f x y; apply f x = \y. f x y;
main = apply (id add) ((\x. x + 1) 1) (double 3); main = apply (id add) ((\x. x + 1) 1) (double 3);