Remove case expressions

This commit is contained in:
Martin Fredin 2023-02-18 14:49:33 +01:00
parent 4ab6681f68
commit f485ca9762

View file

@ -7,11 +7,6 @@ ELet. Exp3 ::= "let" Bind "in" Exp;
EApp. Exp2 ::= Exp2 Exp3;
EAdd. Exp1 ::= Exp1 "+" Exp2;
EAbs. Exp ::= "\\" Ident ":" Type "." Exp;
ECase. Exp ::= "case" Exp "of" "{" [CaseMatch] "}";
CaseMatch. CaseMatch ::= Case "=>" Exp ;
separator CaseMatch ",";
CInt. Case ::= Integer ;
Bind. Bind ::= Ident ":" Type ";"
Ident [Ident] "=" Exp;