diff options
| author | Martin Odersky <odersky@gmail.com> | 2008-09-04 17:05:28 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2008-09-04 17:05:28 +0000 |
| commit | 97db00dadafd438a7d69f9bc1e80dccf9dc41a37 (patch) | |
| tree | 80f077b6ee2275400353271c7c708a6f25952ff1 /test/files/neg | |
| parent | 3e0cd7e7488477e60eb8d12ffeea1b3dc02433a5 (diff) | |
| download | scala-97db00dadafd438a7d69f9bc1e80dccf9dc41a37.tar.gz scala-97db00dadafd438a7d69f9bc1e80dccf9dc41a37.tar.bz2 scala-97db00dadafd438a7d69f9bc1e80dccf9dc41a37.zip | |
disabled volatile checks because eclipse plugin...
disabled volatile checks because eclipse plugin build breaks.
Diffstat (limited to 'test/files/neg')
| -rw-r--r-- | test/files/neg/null-unsoundness.check | 5 | ||||
| -rw-r--r-- | test/files/neg/null-unsoundness.scala | 15 |
2 files changed, 0 insertions, 20 deletions
diff --git a/test/files/neg/null-unsoundness.check b/test/files/neg/null-unsoundness.check deleted file mode 100644 index 5f28e76d06..0000000000 --- a/test/files/neg/null-unsoundness.check +++ /dev/null @@ -1,5 +0,0 @@ -null-unsoundness.scala:8: error: stable identifier required, but A.this.x found. - Note that value x is not stable because its type, A.this.D with A.this.A, is volatile. - var y: x.T = new C("abc") - ^ -one error found diff --git a/test/files/neg/null-unsoundness.scala b/test/files/neg/null-unsoundness.scala deleted file mode 100644 index d30ff613b1..0000000000 --- a/test/files/neg/null-unsoundness.scala +++ /dev/null @@ -1,15 +0,0 @@ -class B -class C(x: String) extends B - -class A { - type A >: Null - class D { type T >: C <: B } - val x: D with A = null - var y: x.T = new C("abc") -} -object Test extends A with Application { - class C { type T = Int; val x = 1 } - type A = C - y = 42 -} - |