summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2007-12-11 15:07:48 +0000
committeraarne <aarne@cs.chalmers.se>2007-12-11 15:07:48 +0000
commit477f88c1e452f7d5369b1adde87a22ce41a80c57 (patch)
treeeaac55f125ce3e25ffb0b7075fabcd6a8e33c03a /src
parent83b47b13b77d2f1d94fdd94b45301c41952f47eb (diff)
variants in gfcc generation
Diffstat (limited to 'src')
-rw-r--r--src/GF/Devel/GrammarToGFCC.hs1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/Devel/GrammarToGFCC.hs b/src/GF/Devel/GrammarToGFCC.hs
index 887e689e4..e83e7ebe9 100644
--- a/src/GF/Devel/GrammarToGFCC.hs
+++ b/src/GF/Devel/GrammarToGFCC.hs
@@ -404,6 +404,7 @@ term2term cgr env@(labels,untyps,typs) tr = case tr of
T (TComp typ) ts -> comp $ V typ (map (comp . snd) ts) ---- should...
T (TTyped typ) ts -> comp $ V typ (map (comp . snd) ts) ---- should
V typ ts -> V typ (map comp ts)
+ S tb (FV ts) -> FV $ map (comp . S tb) ts
S (V typ ts) v0 -> err error id $ do
let v = comp v0
return $ maybe t (comp . (ts !!) . fromInteger) $ Map.lookup v untyps