diff options
author | paltherr <paltherr@epfl.ch> | 2003-10-13 16:49:05 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-10-13 16:49:05 +0000 |
commit | 67f1003ff65802bd8c673b6012925113e6b569a5 (patch) | |
tree | d04fb3cfa54cd35218b9aac17fc689e8c2aa5858 /sources/scalac/transformer/matching/PatternMatcher.java | |
parent | 785aa26ab6867898b899f938235bc186f96451fe (diff) | |
download | scala-67f1003ff65802bd8c673b6012925113e6b569a5.tar.gz scala-67f1003ff65802bd8c673b6012925113e6b569a5.tar.bz2 scala-67f1003ff65802bd8c673b6012925113e6b569a5.zip |
- Removed all instances of Infer
Diffstat (limited to 'sources/scalac/transformer/matching/PatternMatcher.java')
-rw-r--r-- | sources/scalac/transformer/matching/PatternMatcher.java | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/sources/scalac/transformer/matching/PatternMatcher.java b/sources/scalac/transformer/matching/PatternMatcher.java index 8b1bbdb5c1..6e01a34373 100644 --- a/sources/scalac/transformer/matching/PatternMatcher.java +++ b/sources/scalac/transformer/matching/PatternMatcher.java @@ -13,7 +13,6 @@ import scalac.*; import scalac.ast.*; import scalac.util.*; import scalac.symtab.*; -import scalac.typechecker.*; import PatternNode.*; import Tree.*; @@ -48,23 +47,23 @@ public class PatternMatcher extends PatternTool { /** constructor */ - public PatternMatcher(Unit unit, Infer infer, Tree selector, + public PatternMatcher(Unit unit, Tree selector, Symbol owner, Type resultType) { - super(unit, infer); + super(unit); initialize(selector, owner, resultType); } /** constructor, used in subclass ALgebraicMatcher */ - protected PatternMatcher(Unit unit, Infer infer) { - super(unit, infer); + protected PatternMatcher(Unit unit) { + super(unit); } /** init method, also needed in subclass AlgebraicMatcher */ protected void initialize(Tree selector, Symbol owner, Type resultType) { - this.mk = new PatternNodeCreator(unit, infer, owner); - this.cf = new CodeFactory(unit, infer, selector.pos); + this.mk = new PatternNodeCreator(unit, owner); + this.cf = new CodeFactory(unit, selector.pos); this.root = mk.ConstrPat(selector.pos, selector.type.widen()); this.root.and = mk.Header(selector.pos, selector.type.widen(), |