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/Par.y | 23 ++++++++++++-----------
 1 file changed, 12 insertions(+), 11 deletions(-)

(limited to 'src/Transfer/Core/Par.y')

diff --git a/src/Transfer/Core/Par.y b/src/Transfer/Core/Par.y
index 93d0545c3..661e0825b 100644
--- a/src/Transfer/Core/Par.y
+++ b/src/Transfer/Core/Par.y
@@ -22,8 +22,9 @@ import Transfer.ErrM
  '(' { PT _ (TS "(") }
  ')' { PT _ (TS ")") }
  '_' { PT _ (TS "_") }
- '\\' { PT _ (TS "\\") }
+ '|' { PT _ (TS "|") }
  '->' { PT _ (TS "->") }
+ '\\' { PT _ (TS "\\") }
  '.' { PT _ (TS ".") }
  'Type' { PT _ (TS "Type") }
  'case' { PT _ (TS "case") }
@@ -122,6 +123,16 @@ ListLetDef : {- empty -} { [] }
   | LetDef ';' ListLetDef { (:) $1 $3 }
 
 
+Case :: { Case }
+Case : Pattern '|' Exp '->' Exp { Case $1 $3 $5 } 
+
+
+ListCase :: { [Case] }
+ListCase : {- empty -} { [] } 
+  | Case { (:[]) $1 }
+  | Case ';' ListCase { (:) $1 $3 }
+
+
 Exp2 :: { Exp }
 Exp2 : '\\' PatternVariable '->' Exp { EAbs $2 $4 } 
   | '(' PatternVariable ':' Exp ')' '->' Exp { EPi $2 $4 $7 }
@@ -174,16 +185,6 @@ Exp1 :: { Exp }
 Exp1 : Exp2 { $1 } 
 
 
-Case :: { Case }
-Case : Pattern '->' Exp { Case $1 $3 } 
-
-
-ListCase :: { [Case] }
-ListCase : {- empty -} { [] } 
-  | Case { (:[]) $1 }
-  | Case ';' ListCase { (:) $1 $3 }
-
-
 
 {
 
-- 
cgit v1.2.3