diff options
| author | aarne <aarne@cs.chalmers.se> | 2005-11-18 14:24:12 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2005-11-18 14:24:12 +0000 |
| commit | 7c6210d6e6cae5f91134f9f6522d724a5816e58a (patch) | |
| tree | b4a5a0cd279f3fc36b62d9eea4d505fd3a295e9c /src | |
| parent | 524c4829f9cc5720c18b8d43bd430d0627edcb89 (diff) | |
matching with ""
Diffstat (limited to 'src')
| -rw-r--r-- | src/GF/Grammar/PatternMatch.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/Grammar/PatternMatch.hs b/src/GF/Grammar/PatternMatch.hs index cbf77063d..696f19e78 100644 --- a/src/GF/Grammar/PatternMatch.hs +++ b/src/GF/Grammar/PatternMatch.hs @@ -59,6 +59,7 @@ tryMatch (p,t) = do (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 [] (PC p pp, ([], Con f, tt)) | p `eqStrIdent` f && length pp == length tt -> |