diff options
author | Iulian Dragos <jaguarul@gmail.com> | 2010-02-28 21:09:06 +0000 |
---|---|---|
committer | Iulian Dragos <jaguarul@gmail.com> | 2010-02-28 21:09:06 +0000 |
commit | b94c6e0da6d33bc69f1419634128e2f401109b61 (patch) | |
tree | 89d1ed33a06fa92ae1282034927b188d4cf9398c /test | |
parent | 9bfc0f0ac615b48b39b696dc1fb61ba07e5e8274 (diff) | |
download | scala-b94c6e0da6d33bc69f1419634128e2f401109b61.tar.gz scala-b94c6e0da6d33bc69f1419634128e2f401109b61.tar.bz2 scala-b94c6e0da6d33bc69f1419634128e2f401109b61.zip |
Fixed specialized pattern matches.
specialized implementations.
Diffstat (limited to 'test')
-rw-r--r-- | test/files/pos/spec-List.scala | 2 | ||||
-rw-r--r-- | test/files/run/spec-patmatch.check | 19 | ||||
-rw-r--r-- | test/files/run/spec-patmatch.flags | 1 | ||||
-rw-r--r-- | test/files/run/spec-patmatch.scala | 52 |
4 files changed, 73 insertions, 1 deletions
diff --git a/test/files/pos/spec-List.scala b/test/files/pos/spec-List.scala index ad864abd7c..9535eaa32a 100644 --- a/test/files/pos/spec-List.scala +++ b/test/files/pos/spec-List.scala @@ -23,7 +23,7 @@ import annotation.tailrec * @author Martin Odersky and others * @version 2.8 */ -sealed abstract class List[@specialized +A] extends LinearSeq[A] +sealed trait List[@specialized +A] extends LinearSeq[A] with Product with GenericTraversableTemplate[A, List] with LinearSeqLike[A, List[A]] { diff --git a/test/files/run/spec-patmatch.check b/test/files/run/spec-patmatch.check new file mode 100644 index 0000000000..a6679fa1c7 --- /dev/null +++ b/test/files/run/spec-patmatch.check @@ -0,0 +1,19 @@ +bool +byte +short +char +int +long +double +float +default +object instantiations: +bool +byte +short +char +int +long +double +float +default diff --git a/test/files/run/spec-patmatch.flags b/test/files/run/spec-patmatch.flags new file mode 100644 index 0000000000..3a910a936c --- /dev/null +++ b/test/files/run/spec-patmatch.flags @@ -0,0 +1 @@ +-Yspecialize
\ No newline at end of file diff --git a/test/files/run/spec-patmatch.scala b/test/files/run/spec-patmatch.scala new file mode 100644 index 0000000000..92938836d8 --- /dev/null +++ b/test/files/run/spec-patmatch.scala @@ -0,0 +1,52 @@ +class Foo[@specialized A] { + def test(x: A) = println(x match { + case _: Boolean => "bool" + case _: Byte => "byte" + case _: Short => "short" + case _: Char => "char" + case i: Int => "int" + case l: Long => "long" + case d: Double => "double" + case e: Float => "float" + case _ => "default" + }) +} + +object Test { + def test[@specialized A] (x: A) = println(x match { + case _: Boolean => "bool" + case _: Byte => "byte" + case _: Short => "short" + case _: Char => "char" + case i: Int => "int" + case l: Long => "long" + case d: Double => "double" + case e: Float => "float" + case _ => "default" + }) + + def main(args: Array[String]) { + test(true) + test(42.toByte) + test(42.toShort) + test('b') + test(42) + test(42l) + test(42.0) + test(42.0f) + test(new Object) + + println("object instantiations:") + (new Foo).test(true) + (new Foo).test(42.toByte) + (new Foo).test(42.toShort) + (new Foo).test('b') + (new Foo).test(42) + (new Foo).test(42l) + (new Foo).test(42.0) + (new Foo).test(42.0f) + (new Foo).test(new Object) + + } + +} |