diff options
author | Martin Odersky <odersky@gmail.com> | 2003-05-01 09:01:16 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2003-05-01 09:01:16 +0000 |
commit | a5d85a9e9620699775e77ca0bfc4f1390e05229f (patch) | |
tree | bf493aa060133fb138dbc805b7ebf1ca7359fd7b /sources/scalac/transformer | |
parent | d02f69f6023d73f6c6a956db5fbd9dd9dd7c91d2 (diff) | |
download | scala-a5d85a9e9620699775e77ca0bfc4f1390e05229f.tar.gz scala-a5d85a9e9620699775e77ca0bfc4f1390e05229f.tar.bz2 scala-a5d85a9e9620699775e77ca0bfc4f1390e05229f.zip |
*** empty log message ***
Diffstat (limited to 'sources/scalac/transformer')
-rw-r--r-- | sources/scalac/transformer/AddInterfaces.java | 2 | ||||
-rw-r--r-- | sources/scalac/transformer/Erasure.java | 1 | ||||
-rw-r--r-- | sources/scalac/transformer/PatternMatcher.java | 2 | ||||
-rw-r--r-- | sources/scalac/transformer/matching/PatternMatcher.java | 2 |
4 files changed, 2 insertions, 5 deletions
diff --git a/sources/scalac/transformer/AddInterfaces.java b/sources/scalac/transformer/AddInterfaces.java index e3d93217d8..71a3a3db52 100644 --- a/sources/scalac/transformer/AddInterfaces.java +++ b/sources/scalac/transformer/AddInterfaces.java @@ -268,8 +268,6 @@ class AddInterfaces extends SubstTransformer { return new Type.PolyType(tparams, apply(result)); case OverloadedType(Symbol[] alts, Type[] alttypes): return new Type.OverloadedType(alts, apply(alttypes)); - case CovarType(Type t): - return new Type.CovarType(apply(t)); case NoType: return tp; default: diff --git a/sources/scalac/transformer/Erasure.java b/sources/scalac/transformer/Erasure.java index a890c37498..413dae1609 100644 --- a/sources/scalac/transformer/Erasure.java +++ b/sources/scalac/transformer/Erasure.java @@ -485,7 +485,6 @@ public class Erasure extends Transformer implements Modifiers { case FunType(_,_): case CompoundType(_,_): case AppliedType(_, _): - case CovariantType(_): throw Debug.abort("illegal case", tree); default: diff --git a/sources/scalac/transformer/PatternMatcher.java b/sources/scalac/transformer/PatternMatcher.java index 1ab354301e..8d8a5922fa 100644 --- a/sources/scalac/transformer/PatternMatcher.java +++ b/sources/scalac/transformer/PatternMatcher.java @@ -509,7 +509,7 @@ public class PatternMatcher { if (casted.pos == Position.NOPOS) { Symbol atSym = casted.type().lookup(AT_N); //System.out.println("casted type = " + typeOf(casted)); - Type seqType = casted.type().baseType(defs.SEQ_CLASS).typeArgs()[0].dropVariance(); + Type seqType = casted.type().baseType(defs.SEQ_CLASS).typeArgs()[0]; Tree t = make.Select( pat.pos, make.Ident(pat.pos, casted.name) diff --git a/sources/scalac/transformer/matching/PatternMatcher.java b/sources/scalac/transformer/matching/PatternMatcher.java index 1ab354301e..8d8a5922fa 100644 --- a/sources/scalac/transformer/matching/PatternMatcher.java +++ b/sources/scalac/transformer/matching/PatternMatcher.java @@ -509,7 +509,7 @@ public class PatternMatcher { if (casted.pos == Position.NOPOS) { Symbol atSym = casted.type().lookup(AT_N); //System.out.println("casted type = " + typeOf(casted)); - Type seqType = casted.type().baseType(defs.SEQ_CLASS).typeArgs()[0].dropVariance(); + Type seqType = casted.type().baseType(defs.SEQ_CLASS).typeArgs()[0]; Tree t = make.Select( pat.pos, make.Ident(pat.pos, casted.name) |