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

Fix first unnecessary supercombinator

Browse source
This commit is contained in:
Martin Fredin 2023-02-09 17:53:39 +01:00
parent 69254f8032
commit 08917be1c6
10 changed files with 66 additions and 51 deletions
Download patch file Download diff file Expand all files Collapse all files

9
Grammar.cf
View file

@ -1,12 +1,6 @@
Program. Program ::= [ScDef];
ScDef. ScDef ::= Bind;
separator ScDef ";";
separator Ident " ";
Program. Program ::= [Bind];
EId. Exp3 ::= Ident;
EInt. Exp3 ::= Integer;
@ -17,6 +11,7 @@ EAbs. Exp ::= "\\" Ident "." Exp;
Bind. Bind ::= Ident [Ident] "=" Exp;
separator Bind ";";
separator Ident " ";
coercions Exp 3;