diff options
author | Martin Odersky <odersky@gmail.com> | 2009-12-17 18:06:47 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2009-12-17 18:06:47 +0000 |
commit | 248a992059f090070a01a9c98271753c84df8319 (patch) | |
tree | 15859f71f0cee396cc115335061646ccfcba0cf0 /src/library | |
parent | 88683ede7df66a276835319d4d580f605420fa01 (diff) | |
download | scala-248a992059f090070a01a9c98271753c84df8319.tar.gz scala-248a992059f090070a01a9c98271753c84df8319.tar.bz2 scala-248a992059f090070a01a9c98271753c84df8319.zip |
Fixed build problem caused by r20203.
Diffstat (limited to 'src/library')
-rw-r--r-- | src/library/scala/reflect/ClassManifest.scala | 12 | ||||
-rw-r--r-- | src/library/scala/reflect/Manifest.scala | 12 |
2 files changed, 24 insertions, 0 deletions
diff --git a/src/library/scala/reflect/ClassManifest.scala b/src/library/scala/reflect/ClassManifest.scala index c8637166ee..58f3c89499 100644 --- a/src/library/scala/reflect/ClassManifest.scala +++ b/src/library/scala/reflect/ClassManifest.scala @@ -214,6 +214,18 @@ object ClassManifest { override def toString = prefix.toString+"#"+name+argString } + /** ClassManifest for the abstract type `prefix # name'. `upperBound' is not + * strictly necessary as it could be obtained by reflection. It was + * added so that erasure can be calculated without reflection. + * todo: remove after next boostrap + */ + def abstractType[T](prefix: OptManifest[_], name: String, upperbound: ClassManifest[_], args: OptManifest[_]*): ClassManifest[T] = + new (ClassManifest[T] @serializable) { + def erasure = upperbound.erasure + override val typeArguments = args.toList + override def toString = prefix.toString+"#"+name+argString + } + /** ClassManifest for the intersection type `parents_0 with ... with parents_n'. */ def intersectionType[T](parents: ClassManifest[_]*): ClassManifest[T] = new (ClassManifest[T] @serializable) { diff --git a/src/library/scala/reflect/Manifest.scala b/src/library/scala/reflect/Manifest.scala index 9dba30911d..69842e1193 100644 --- a/src/library/scala/reflect/Manifest.scala +++ b/src/library/scala/reflect/Manifest.scala @@ -225,6 +225,18 @@ object Manifest { override def toString = prefix.toString+"#"+name+argString } + /** Manifest for the abstract type `prefix # name'. `upperBound' is not + * strictly necessary as it could be obtained by reflection. It was + * added so that erasure can be calculated without reflection. + * todo: remove after next bootstrap + */ + def abstractType[T](prefix: Manifest[_], name: String, upperbound: ClassManifest[_], args: Manifest[_]*): Manifest[T] = + new (Manifest[T] @serializable) { + def erasure = upperbound.erasure + override val typeArguments = args.toList + override def toString = prefix.toString+"#"+name+argString + } + /** Manifest for the intersection type `parents_0 with ... with parents_n'. */ def intersectionType[T](parents: Manifest[_]*): Manifest[T] = new (Manifest[T] @serializable) { |