From a51c85b573cb395362c0104cbd9946f5f759cfc7 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 9 Jan 2006 09:22:39 +0000 Subject: [PATCH] matching empty string fixed --- src/GF/Grammar/PatternMatch.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/GF/Grammar/PatternMatch.hs b/src/GF/Grammar/PatternMatch.hs index 2724bd263..c7205dcaf 100644 --- a/src/GF/Grammar/PatternMatch.hs +++ b/src/GF/Grammar/PatternMatch.hs @@ -56,10 +56,10 @@ tryMatch (p,t) = do where trym p t' = case (p,t') of + (_,(x,Empty,y)) -> trym p (x,K [],y) -- because "" = [""] = [] (PV IW, _) | isInConstantForm t -> return [] -- optimization with wildcard (PV x, _) | isInConstantForm t -> return [(x,t)] (PString s, ([],K i,[])) | s==i -> return [] - (PString "",([],Empty,[])) -> return [] -- because "" = [""] = [] (PInt s, ([],EInt i,[])) | s==i -> return [] (PFloat s,([],EFloat i,[])) | s==i -> return [] --- rounding? (PC p pp, ([], Con f, tt)) |