summaryrefslogtreecommitdiff
path: root/src/GF/Canon/Look.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/GF/Canon/Look.hs')
-rw-r--r--src/GF/Canon/Look.hs5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/GF/Canon/Look.hs b/src/GF/Canon/Look.hs
index 1f55e4cdb..228a43f3c 100644
--- a/src/GF/Canon/Look.hs
+++ b/src/GF/Canon/Look.hs
@@ -166,4 +166,7 @@ ccompute cnc = comp []
noVar v = case v of
LI _ -> False
R rs -> all noVar [t | Ass _ t <- rs]
- _ -> True --- other cases?
+ Con _ ts -> all noVar ts
+ FV ts -> all noVar ts
+ S x y -> noVar x && noVar y
+ _ -> True --- other cases that can be values to pattern match?