mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-23 19:42:50 -06:00
bugfix to the previous patches
This commit is contained in:
@@ -259,7 +259,6 @@ renamePattern env patt = case patt of
|
|||||||
|
|
||||||
PV x -> do case renid (Vr x) of
|
PV x -> do case renid (Vr x) of
|
||||||
Ok (QC m c) -> return (PP m c [],[])
|
Ok (QC m c) -> return (PP m c [],[])
|
||||||
Ok (Q m c) -> Bad $ render (text "data constructor expected but" <+> ppTerm Qualified 0 (Q m c) <+> text "is found instead")
|
|
||||||
_ -> return (patt, [x])
|
_ -> return (patt, [x])
|
||||||
|
|
||||||
PR r -> do
|
PR r -> do
|
||||||
|
|||||||
Reference in New Issue
Block a user