summaryrefslogtreecommitdiff
path: root/sources/scalac/transformer/matching/PatternMatcher.java
diff options
context:
space:
mode:
authorpaltherr <paltherr@epfl.ch>2003-10-13 16:49:05 +0000
committerpaltherr <paltherr@epfl.ch>2003-10-13 16:49:05 +0000
commit67f1003ff65802bd8c673b6012925113e6b569a5 (patch)
treed04fb3cfa54cd35218b9aac17fc689e8c2aa5858 /sources/scalac/transformer/matching/PatternMatcher.java
parent785aa26ab6867898b899f938235bc186f96451fe (diff)
downloadscala-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.java13
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(),