From 31836c0da9ba7a716ee0480e6219d771da4999fa Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Tue, 23 Mar 2004 12:06:12 +0000
Subject: String pattern handling

---
 src/GF/Grammar/PatternMatch.hs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/GF/Grammar/PatternMatch.hs')

diff --git a/src/GF/Grammar/PatternMatch.hs b/src/GF/Grammar/PatternMatch.hs
index 2ca8b21de..ecc34709b 100644
--- a/src/GF/Grammar/PatternMatch.hs
+++ b/src/GF/Grammar/PatternMatch.hs
@@ -77,6 +77,7 @@ isInConstantForm trm = case trm of
     Abs _ _  -> True
     App c a  -> isInConstantForm c && isInConstantForm a
     R r      -> all (isInConstantForm . snd . snd) r
+    K _      -> True
     Alias _ _ t -> isInConstantForm t
     _       -> False ---- isInArgVarForm trm
 
-- 
cgit v1.2.3