summaryrefslogtreecommitdiff
path: root/src/GF
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2006-11-24 09:32:16 +0000
committeraarne <aarne@cs.chalmers.se>2006-11-24 09:32:16 +0000
commit35eaaa0da6f5d17e172674b7939310530d92ec2b (patch)
tree5f2d4c4bc9c799ca87fa97462ce46b6ecce0ff11 /src/GF
parent1d372525eabd8260faf7ce393f731556cec92dfb (diff)
rename patterns bug fix
Diffstat (limited to 'src/GF')
-rw-r--r--src/GF/Compile/Rename.hs6
1 files changed, 5 insertions, 1 deletions
diff --git a/src/GF/Compile/Rename.hs b/src/GF/Compile/Rename.hs
index 0e408aaee..f7d6c87d1 100644
--- a/src/GF/Compile/Rename.hs
+++ b/src/GF/Compile/Rename.hs
@@ -235,9 +235,13 @@ renamePattern env patt = case patt of
_ -> prtBad "unresolved pattern" c' ---- (PC c ps', concat vs)
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
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
Ok p -> return (p,[])