diff options
Diffstat (limited to 'src/compiler')
| -rw-r--r-- | src/compiler/GF/Grammar/PatternMatch.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/compiler/GF/Grammar/PatternMatch.hs b/src/compiler/GF/Grammar/PatternMatch.hs index 8fdb33408..9ef191554 100644 --- a/src/compiler/GF/Grammar/PatternMatch.hs +++ b/src/compiler/GF/Grammar/PatternMatch.hs @@ -107,6 +107,10 @@ tryMatch (p,t) = do return (concat matches) (PT _ p',_) -> trym p' t' + (PAs x p',([],K s,[])) -> do + subst <- trym p' t' + return $ (x,words2term (words s)) : subst + (PAs x p',_) -> do subst <- trym p' t' return $ (x,t) : subst |