diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/GF/Devel/GrammarToGFCC.hs | 1 |
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 |