From f485ca976203dada01dd6d658b2ca331e99d4d6e Mon Sep 17 00:00:00 2001
From: Martin Fredin <fredin.martin@gmail.com>
Date: Sat, 18 Feb 2023 14:49:33 +0100
Subject: [PATCH] Remove case expressions

---
 Grammar.cf | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/Grammar.cf b/Grammar.cf
index 0f5a411..0b4785f 100644
--- a/Grammar.cf
+++ b/Grammar.cf
@@ -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;