mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
matching with ""
This commit is contained in:
@@ -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 ->
|
||||
|
||||
Reference in New Issue
Block a user