mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-10-25 08:43:17 -06:00
added renaming of PImplArg
This commit is contained in:
1 parent
5a2e80e687
commit
14b4e82067
1 file changed
+4
@@ -340,6 +340,10 @@ renamePattern env patt =
|
||||
(p',vs) <- renp p
|
||||
return (PAs x p', x:vs)
|
||||
|
||||
PImplArg p -> do
|
||||
(p,vs) <- renp p
|
||||
return (PImplArg p, vs)
|
||||
|
||||
_ -> return (patt,[])
|
||||
|
||||
renid = renameIdentTerm env
|
||||
|
||||
Reference in new issue
Block a user