From 87b55df10f00fd23d89a89bfb7c4354ff455d83d Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 11 Jan 2005 15:06:12 +0000 Subject: -val optimization --- src/GF/Source/GF.cf | 1 + 1 file changed, 1 insertion(+) (limited to 'src/GF/Source/GF.cf') diff --git a/src/GF/Source/GF.cf b/src/GF/Source/GF.cf index d6170a6e7..98eeb7498 100644 --- a/src/GF/Source/GF.cf +++ b/src/GF/Source/GF.cf @@ -160,6 +160,7 @@ EQCons. Exp3 ::= "[" Ident "." Ident "]" ; -- qualified constant EApp. Exp2 ::= Exp2 Exp3 ; ETable. Exp2 ::= "table" "{" [Case] "}" ; ETTable. Exp2 ::= "table" Exp4 "{" [Case] "}" ; +EVTable. Exp2 ::= "table" Exp4 "[" [Exp] "]" ; ECase. Exp2 ::= "case" Exp "of" "{" [Case] "}" ; EVariants. Exp2 ::= "variants" "{" [Exp] "}" ; EPre. Exp2 ::= "pre" "{" Exp ";" [Altern] "}" ; -- cgit v1.2.3