diff options
| author | aarne <unknown> | 2003-11-10 08:17:22 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-11-10 08:17:22 +0000 |
| commit | d8e07f189a6c825b9ced62e38c3fc2ec6c6c5f67 (patch) | |
| tree | bfaa164f35a68ee9aadc29eaffdd10dc14ac5e80 /src/GF | |
| parent | 249d506f58a8b5f8ef87295ab3dde2d13ddd3885 (diff) | |
New let and where syntax.
Diffstat (limited to 'src/GF')
| -rw-r--r-- | src/GF/Source/GF.cf | 2 |
1 files changed, 2 insertions, 0 deletions
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 ; |