summaryrefslogtreecommitdiff
path: root/src/GF/Source
diff options
context:
space:
mode:
authoraarne <unknown>2003-11-13 08:17:28 +0000
committeraarne <unknown>2003-11-13 08:17:28 +0000
commit25c86905867537f75e9fe2f19759d8747d465590 (patch)
tree2914e18ef14e1aad20cdc4c814796360ddd36dea /src/GF/Source
parenteb245228482fbf9798ea6ddc01753d5a1e40b2c1 (diff)
Field lock in MkResource.
Field lock in MkResource. Terrible bug fixed in Check Grammar.
Diffstat (limited to 'src/GF/Source')
-rw-r--r--src/GF/Source/GrammarToSource.hs1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/Source/GrammarToSource.hs b/src/GF/Source/GrammarToSource.hs
index d38701eb6..3c785b322 100644
--- a/src/GF/Source/GrammarToSource.hs
+++ b/src/GF/Source/GrammarToSource.hs
@@ -118,6 +118,7 @@ trt trm = case trm of
Prod x a b | isWildIdent x -> P.EProd (P.DExp (trt a)) (trt b)
Prod x a b -> P.EProd (P.DDec [trb x] (trt a)) (trt b)
+ R [] -> P.ETuple [] --- to get correct parsing when read back
R r -> P.ERecord $ map trAssign r
RecType r -> P.ERecord $ map trLabelling r
ExtR x y -> P.EExtend (trt x) (trt y)