diff options
author | Martin Odersky <odersky@gmail.com> | 2012-02-22 23:05:26 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2012-02-22 23:05:26 +0100 |
commit | 4eae7511a297b9d51e1aea2da38c5dacf786efa0 (patch) | |
tree | 9b57d4b39e3e76e5ba42be4e7f679a02a2f2befc /test/files/neg | |
parent | d604417bac9a583048d750f627c2de5f8e46424f (diff) | |
download | scala-4eae7511a297b9d51e1aea2da38c5dacf786efa0.tar.gz scala-4eae7511a297b9d51e1aea2da38c5dacf786efa0.tar.bz2 scala-4eae7511a297b9d51e1aea2da38c5dacf786efa0.zip |
Compiler now ready to accept value classes in standard library. Time for a new STARR!
Diffstat (limited to 'test/files/neg')
-rw-r--r-- | test/files/neg/valueclasses.check | 5 | ||||
-rw-r--r-- | test/files/neg/valueclasses.scala | 2 |
2 files changed, 2 insertions, 5 deletions
diff --git a/test/files/neg/valueclasses.check b/test/files/neg/valueclasses.check index c4430c8e1a..30ee689511 100644 --- a/test/files/neg/valueclasses.check +++ b/test/files/neg/valueclasses.check @@ -34,13 +34,10 @@ class V8(var x: Int) extends AnyVal // fail valueclasses.scala:24: error: This statement is not allowed in value class: private[this] val y: Int = V9.this.x val y = x // fail ^ -valueclasses.scala:27: error: Type of parameter of value class may not be a type variable -class V10[T](val x: T) extends AnyVal // fail - ^ valueclasses.scala:29: error: type parameter of value class may not be specialized class V12[@specialized T, U](val x: (T, U)) extends AnyVal // fail ^ valueclasses.scala:31: error: Value class needs to have exactly one public val parameter class V13(x: Int) extends AnyVal // fail ^ -15 errors found +14 errors found diff --git a/test/files/neg/valueclasses.scala b/test/files/neg/valueclasses.scala index 2794a852ee..5979f6f684 100644 --- a/test/files/neg/valueclasses.scala +++ b/test/files/neg/valueclasses.scala @@ -24,7 +24,7 @@ class V9(val x: Int) extends AnyVal { val y = x // fail } -class V10[T](val x: T) extends AnyVal // fail +class V10[T](val x: T) extends AnyVal // ok class V11[T](val x: List[T]) extends AnyVal // ok class V12[@specialized T, U](val x: (T, U)) extends AnyVal // fail |