diff options
| author | aarne <unknown> | 2005-01-11 15:06:12 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-01-11 15:06:12 +0000 |
| commit | 87b55df10f00fd23d89a89bfb7c4354ff455d83d (patch) | |
| tree | 91d46e3592a49de8cf7b6b3917fcc0077df1dbd6 /src/GF/Canon/CanonToGrammar.hs | |
| parent | bb3d2e1d42e662a3add785670f289787d2e492e2 (diff) | |
-val optimization
Diffstat (limited to 'src/GF/Canon/CanonToGrammar.hs')
| -rw-r--r-- | src/GF/Canon/CanonToGrammar.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/GF/Canon/CanonToGrammar.hs b/src/GF/Canon/CanonToGrammar.hs index 75dc81bc0..e53af46be 100644 --- a/src/GF/Canon/CanonToGrammar.hs +++ b/src/GF/Canon/CanonToGrammar.hs @@ -136,6 +136,10 @@ redCTerm x = case x of [G.PV _] -> G.TTyped ctype' _ -> G.TComp ctype' return $ G.T tinfo $ zip ps' ts' + V ctype ts -> do + ctype' <- redCType ctype + ts' <- mapM redCTerm ts + return $ G.V ctype' ts' S term0 term -> liftM2 G.S (redCTerm term0) (redCTerm term) C term0 term -> liftM2 G.C (redCTerm term0) (redCTerm term) FV terms -> liftM G.FV $ mapM redCTerm terms |