From d8e07f189a6c825b9ced62e38c3fc2ec6c6c5f67 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Mon, 10 Nov 2003 08:17:22 +0000
Subject: New let and where syntax.

---
 src/GF/Source/GF.cf | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/GF/Source')

diff --git a/src/GF/Source/GF.cf b/src/GF/Source/GF.cf
index bb1d200cd..1edf8adb7 100644
--- a/src/GF/Source/GF.cf
+++ b/src/GF/Source/GF.cf
@@ -169,6 +169,8 @@ ETType.    Exp  ::= Exp1 "=>" Exp ; -- these are thus right associative
 EConcat.   Exp  ::= Exp1 "++" Exp ;
 EGlue.     Exp  ::= Exp1 "+"  Exp ;
 ELet.      Exp  ::= "let" "{" [LocDef] "}" "in" Exp ;
+ELetb.     Exp  ::= "let" [LocDef] "in" Exp ;
+EWhere.    Exp  ::= Exp1 "where" "{" [LocDef] "}" ;
 EEqs.      Exp  ::= "fn" "{" [Equation] "}" ;
 
 coercions Exp 4 ;
-- 
cgit v1.2.3