diff options
Diffstat (limited to 'test/files')
-rw-r--r-- | test/files/neg/caseinherit.check | 18 | ||||
-rw-r--r-- | test/files/neg/caseinherit.scala | 17 | ||||
-rw-r--r-- | test/files/neg/t0816.check | 2 | ||||
-rw-r--r-- | test/files/neg/t425.check | 2 |
4 files changed, 23 insertions, 16 deletions
diff --git a/test/files/neg/caseinherit.check b/test/files/neg/caseinherit.check index c185c82f70..09327a4ffa 100644 --- a/test/files/neg/caseinherit.check +++ b/test/files/neg/caseinherit.check @@ -1,10 +1,10 @@ -caseinherit.scala:2: error: case class `class B' has case ancestor `class A'. Case-to-case inheritance is prohibited. To overcome this limitation use extractors to pattern match on non-leaf nodes. -case class B(y: Int) extends A(y) - ^ -caseinherit.scala:3: error: case class `object Bippy' has case ancestor `class A'. Case-to-case inheritance is prohibited. To overcome this limitation use extractors to pattern match on non-leaf nodes. -case object Bippy extends A(55) - ^ -caseinherit.scala:6: error: case class `class Dingus' has case ancestor `class A'. Case-to-case inheritance is prohibited. To overcome this limitation use extractors to pattern match on non-leaf nodes. -case class Dingus(y: Int) extends Innocent - ^ +caseinherit.scala:3: error: case class B has case ancestor foo.A, but case-to-case inheritance is prohibited. To overcome this limitation, use extractors to pattern match on non-leaf nodes. + case class B(y: Int) extends A(y) + ^ +caseinherit.scala:4: error: case object Bippy has case ancestor foo.A, but case-to-case inheritance is prohibited. To overcome this limitation, use extractors to pattern match on non-leaf nodes. + case object Bippy extends A(55) + ^ +caseinherit.scala:11: error: case class Dingus has case ancestor foo.A, but case-to-case inheritance is prohibited. To overcome this limitation, use extractors to pattern match on non-leaf nodes. + case class Dingus(y: Int) extends Innocent + ^ three errors found diff --git a/test/files/neg/caseinherit.scala b/test/files/neg/caseinherit.scala index fdac97c98e..5c8da13d31 100644 --- a/test/files/neg/caseinherit.scala +++ b/test/files/neg/caseinherit.scala @@ -1,6 +1,13 @@ -case class A(x: Int) -case class B(y: Int) extends A(y) -case object Bippy extends A(55) +package foo { + case class A(x: Int) + case class B(y: Int) extends A(y) + case object Bippy extends A(55) +} +import foo._ -class Innocent extends A(5) -case class Dingus(y: Int) extends Innocent
\ No newline at end of file +package bar { + class Blameless(x: Int) + class Innocent extends A(5) + case class Dingus(y: Int) extends Innocent + case object Hungle extends Blameless(5) +}
\ No newline at end of file diff --git a/test/files/neg/t0816.check b/test/files/neg/t0816.check index ff6489be99..48f37c1414 100644 --- a/test/files/neg/t0816.check +++ b/test/files/neg/t0816.check @@ -1,4 +1,4 @@ -t0816.scala:5: error: case class `class Ctest' has case ancestor `class Btest'. Case-to-case inheritance is prohibited. To overcome this limitation use extractors to pattern match on non-leaf nodes. +t0816.scala:5: error: case class Ctest has case ancestor Btest, but case-to-case inheritance is prohibited. To overcome this limitation, use extractors to pattern match on non-leaf nodes. case class Ctest(override val data: String) extends Btest(data, true) ^ one error found diff --git a/test/files/neg/t425.check b/test/files/neg/t425.check index 671c128753..77ea0c5a4b 100644 --- a/test/files/neg/t425.check +++ b/test/files/neg/t425.check @@ -1,4 +1,4 @@ -t425.scala:3: error: case class `class B' has case ancestor `class A'. Case-to-case inheritance is prohibited. To overcome this limitation use extractors to pattern match on non-leaf nodes. +t425.scala:3: error: case class B has case ancestor Temp.A, but case-to-case inheritance is prohibited. To overcome this limitation, use extractors to pattern match on non-leaf nodes. case class B(override val x: Int, y: Double) extends A(x) ^ one error found |