summaryrefslogtreecommitdiff
path: root/src/GF/CF
diff options
context:
space:
mode:
authoraarne <unknown>2005-01-11 15:06:12 +0000
committeraarne <unknown>2005-01-11 15:06:12 +0000
commit87b55df10f00fd23d89a89bfb7c4354ff455d83d (patch)
tree91d46e3592a49de8cf7b6b3917fcc0077df1dbd6 /src/GF/CF
parentbb3d2e1d42e662a3add785670f289787d2e492e2 (diff)
-val optimization
Diffstat (limited to 'src/GF/CF')
-rw-r--r--src/GF/CF/CanonToCF.hs3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/GF/CF/CanonToCF.hs b/src/GF/CF/CanonToCF.hs
index 58674e189..ff8ec32e2 100644
--- a/src/GF/CF/CanonToCF.hs
+++ b/src/GF/CF/CanonToCF.hs
@@ -97,6 +97,9 @@ term2CFItems m t = errIn "forming cf items" $ case t of
T _ cc -> do
its <- mapM t2c [t | Cas _ t <- cc]
tryMkCFTerm (concat its)
+ V _ cc -> do
+ its <- mapM t2c [t | t <- cc]
+ tryMkCFTerm (concat its)
C t1 t2 -> do
its1 <- t2c t1