forked from GitHub/gf-core
rename patterns bug fix
This commit is contained in:
@@ -235,9 +235,13 @@ renamePattern env patt = case patt of
|
|||||||
_ -> prtBad "unresolved pattern" c' ---- (PC c ps', concat vs)
|
_ -> prtBad "unresolved pattern" c' ---- (PC c ps', concat vs)
|
||||||
|
|
||||||
PP p c ps -> do
|
PP p c ps -> do
|
||||||
|
|
||||||
|
(p', c') <- case renameIdentTerm env (QC p c) of
|
||||||
|
Ok (QC p' c') -> return (p',c')
|
||||||
|
_ -> return (p,c) --- temporarily, for bw compat
|
||||||
psvss <- mapM renp ps
|
psvss <- mapM renp ps
|
||||||
let (ps',vs) = unzip psvss
|
let (ps',vs) = unzip psvss
|
||||||
return (PP p c ps', concat vs)
|
return (PP p' c' ps', concat vs)
|
||||||
|
|
||||||
PV x -> case renid patt of
|
PV x -> case renid patt of
|
||||||
Ok p -> return (p,[])
|
Ok p -> return (p,[])
|
||||||
|
|||||||
Reference in New Issue
Block a user