diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-11-24 09:32:16 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-11-24 09:32:16 +0000 |
| commit | 35eaaa0da6f5d17e172674b7939310530d92ec2b (patch) | |
| tree | 5f2d4c4bc9c799ca87fa97462ce46b6ecce0ff11 /src/GF/Compile | |
| parent | 1d372525eabd8260faf7ce393f731556cec92dfb (diff) | |
rename patterns bug fix
Diffstat (limited to 'src/GF/Compile')
| -rw-r--r-- | src/GF/Compile/Rename.hs | 6 |
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,[]) |
