From 90c7caa788cff71121bebf54cf21f23318cb46c7 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Fri, 13 Jan 2006 13:47:15 +0000
Subject: type checking pattern bindings

---
 src/GF/Grammar/PatternMatch.hs | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

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

diff --git a/src/GF/Grammar/PatternMatch.hs b/src/GF/Grammar/PatternMatch.hs
index c7205dcaf..7635e6fa1 100644
--- a/src/GF/Grammar/PatternMatch.hs
+++ b/src/GF/Grammar/PatternMatch.hs
@@ -105,9 +105,10 @@ tryMatch (p,t) = do
          return (concat matches)
 
       (PRep p1, ([],K s, [])) -> checks [
-        trym (foldr (const (PSeq p1)) (PString "") [1..n]) t' | n <- [0 .. length s]
-        ]
-
+         trym (foldr (const (PSeq p1)) (PString "") 
+           [1..n]) t' | n <- [0 .. length s]
+        ] >>
+        return []
       _ -> prtBad "no match in case expr for" t
   
 isInConstantForm :: Term -> Bool
-- 
cgit v1.2.3