From d8e07f189a6c825b9ced62e38c3fc2ec6c6c5f67 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 10 Nov 2003 08:17:22 +0000 Subject: New let and where syntax. --- src/GF/Source/GF.cf | 2 ++ src/Today.hs | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) (limited to 'src') 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 ; diff --git a/src/Today.hs b/src/Today.hs index 719a3da7d..854a5e9da 100644 --- a/src/Today.hs +++ b/src/Today.hs @@ -1 +1 @@ -module Today where today = "Mon Nov 10 09:43:09 CET 2003" +module Today where today = "Mon Nov 10 09:55:30 CET 2003" -- cgit v1.2.3