summaryrefslogtreecommitdiff
path: root/sources
diff options
context:
space:
mode:
authorpaltherr <paltherr@epfl.ch>2003-10-14 13:52:18 +0000
committerpaltherr <paltherr@epfl.ch>2003-10-14 13:52:18 +0000
commit1f454cd1cb6ba7b1afd522e65a32fc90bda11fa4 (patch)
tree24981f3819ccbba8dbbffdb1a8f83749beec729e /sources
parentf52ca3cc46b1ed06ddb125f7c77be63a0e34a3df (diff)
downloadscala-1f454cd1cb6ba7b1afd522e65a32fc90bda11fa4.tar.gz
scala-1f454cd1cb6ba7b1afd522e65a32fc90bda11fa4.tar.bz2
scala-1f454cd1cb6ba7b1afd522e65a32fc90bda11fa4.zip
- Fixed type of isInstanceOf
Diffstat (limited to 'sources')
-rw-r--r--sources/scalac/transformer/ErasurePhase.java2
1 files changed, 1 insertions, 1 deletions
diff --git a/sources/scalac/transformer/ErasurePhase.java b/sources/scalac/transformer/ErasurePhase.java
index bd90b57eb8..1cb644d932 100644
--- a/sources/scalac/transformer/ErasurePhase.java
+++ b/sources/scalac/transformer/ErasurePhase.java
@@ -56,7 +56,7 @@ public class ErasurePhase extends Phase {
if (sym.isType()) return tp;
if (sym == definitions.NULL) return tp.resultType().erasure();
switch (primitives.getPrimitive(sym)) {
- case Primitive.IS : return tp;
+ case Primitive.IS : return Type.PolyType(tp.typeParams(), Type.MethodType(tp.valueParams(), tp.resultType().erasure()));
case Primitive.AS : return tp;
case Primitive.BOX: return eraseParams(tp);
default : return tp.erasure();