1
0
forked from GitHub/gf-core

another bug related to mattern matching on multiword expression

This commit is contained in:
krangelov
2020-02-18 15:07:47 +01:00
parent e15392e579
commit 3133900125

View File

@@ -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