From 983aef132b0695af7e1b16d77ad43180388eea71 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Fri, 2 Dec 2005 18:33:08 +0000
Subject: Transfer added guards and Eq derivation.

---
 src/Transfer/Core/Core.cf | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'src/Transfer/Core/Core.cf')

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 | '_' | '\'')*) ;
-- 
cgit v1.2.3