diff options
| author | paltherr <paltherr@epfl.ch> | 2003-08-15 14:35:34 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2003-08-15 14:35:34 +0000 |
| commit | 8dbaa5dfc08019a27e2a251fcd9e42ae31507f1a (patch) | |
| tree | 16112cbca6b0e9eca28cfd00271241c031292527 /sources/scalac/transformer/matching/RightTracerInScala.java | |
| parent | 83b0601c698e9b31b7c47954eb53843660f63333 (diff) | |
| download | scala-8dbaa5dfc08019a27e2a251fcd9e42ae31507f1a.tar.gz scala-8dbaa5dfc08019a27e2a251fcd9e42ae31507f1a.tar.bz2 scala-8dbaa5dfc08019a27e2a251fcd9e42ae31507f1a.zip | |
- Replaced use of SubstTransformer by TreeCloner
Diffstat (limited to 'sources/scalac/transformer/matching/RightTracerInScala.java')
| -rw-r--r-- | sources/scalac/transformer/matching/RightTracerInScala.java | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/sources/scalac/transformer/matching/RightTracerInScala.java b/sources/scalac/transformer/matching/RightTracerInScala.java index e103958b11..0911f7990e 100644 --- a/sources/scalac/transformer/matching/RightTracerInScala.java +++ b/sources/scalac/transformer/matching/RightTracerInScala.java @@ -336,8 +336,7 @@ public class RightTracerInScala extends TracerInScala { // "freshening" - scalac.ast.SubstTransformer st = new SubstTransformer(cf.unit.global, cf.make); - st.pushSymbolSubst( freshenMap ); + TreeCloner st = new TreeCloner(cf.unit.global, freshenMap, Type.IdMap ); pat = st.transform( pat ); //System.out.println("RightTracerInScala:: -pat( after subst ) :"+pat); |