From ccfe7fb119aa4aed9b971bd52f72ab0f54df1bf4 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Fri, 9 Dec 2005 11:45:57 +0000
Subject: Transfer: changed syntax to remove the mandatory type annotation in
 let.

---
 src/Transfer/Core/Par.y | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

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

diff --git a/src/Transfer/Core/Par.y b/src/Transfer/Core/Par.y
index 661e0825b..c5cc4f3be 100644
--- a/src/Transfer/Core/Par.y
+++ b/src/Transfer/Core/Par.y
@@ -114,7 +114,7 @@ Exp : 'let' '{' ListLetDef '}' 'in' Exp { ELet $3 $6 }
 
 
 LetDef :: { LetDef }
-LetDef : CIdent ':' Exp '=' Exp { LetDef $1 $3 $5 } 
+LetDef : CIdent '=' Exp { LetDef $1 $3 } 
 
 
 ListLetDef :: { [LetDef] }
@@ -133,10 +133,10 @@ ListCase : {- empty -} { [] }
   | Case ';' ListCase { (:) $1 $3 }
 
 
-Exp2 :: { Exp }
-Exp2 : '\\' PatternVariable '->' Exp { EAbs $2 $4 } 
+Exp1 :: { Exp }
+Exp1 : '\\' PatternVariable '->' Exp { EAbs $2 $4 } 
   | '(' PatternVariable ':' Exp ')' '->' Exp { EPi $2 $4 $7 }
-  | Exp3 { $1 }
+  | Exp2 { $1 }
 
 
 Exp3 :: { Exp }
@@ -181,8 +181,8 @@ ListFieldValue : {- empty -} { [] }
   | FieldValue ';' ListFieldValue { (:) $1 $3 }
 
 
-Exp1 :: { Exp }
-Exp1 : Exp2 { $1 } 
+Exp2 :: { Exp }
+Exp2 : Exp3 { $1 } 
 
 
 
-- 
cgit v1.2.3