From af4bf660024928da20b3a1e004d347d6bc0647c4 Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 18 Nov 2003 15:30:08 +0000 Subject: Using trie more. --- src/GF/Canon/Look.hs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/GF/Canon/Look.hs') 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? -- cgit v1.2.3