From 97db00dadafd438a7d69f9bc1e80dccf9dc41a37 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Thu, 4 Sep 2008 17:05:28 +0000 Subject: disabled volatile checks because eclipse plugin... disabled volatile checks because eclipse plugin build breaks. --- test/files/neg/null-unsoundness.check | 5 ----- test/files/neg/null-unsoundness.scala | 15 --------------- 2 files changed, 20 deletions(-) delete mode 100644 test/files/neg/null-unsoundness.check delete mode 100644 test/files/neg/null-unsoundness.scala (limited to 'test/files/neg') 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 -} - -- cgit v1.2.3