Transfer added guards and Eq derivation.

1 files changed, 3 insertions, 4 deletions

diff --git a/src/Transfer/Core/Core.cf b/src/Transfer/Core/Core.cf
index b58470148..de99eb5de 100644
--- a/src/Transfer/Core/Core.cf
+++ b/src/Transfer/Core/Core.cf
@@ -47,6 +47,9 @@ separator LetDef ";" ;
 
 -- Case expressions.
 ECase.     Exp  ::= "case" Exp "of" "{" [Case] "}" ;
+Case.      Case ::= Pattern "|" Exp "->" Exp ;
+separator  Case ";" ;
+
 
 -- Lambda abstractions.
 EAbs.      Exp2 ::= "\\" PatternVariable "->" Exp ;
@@ -88,10 +91,6 @@ token TMeta ('?' digit+) ;
 coercions Exp 5 ;
 
 
-Case. Case ::= Pattern "->" Exp ;
-separator Case ";" ;
-
-
 -- Identifiers in core can start with underscore to allow
 -- generating unique identifiers easily.
 token CIdent ((letter | '_') (letter | digit | '_' | '\'')*) ;