summaryrefslogtreecommitdiff
path: root/test/files/pos/S8.scala
diff options
context:
space:
mode:
authorGilles Dubochet <gilles.dubochet@epfl.ch>2005-12-16 18:20:15 +0000
committerGilles Dubochet <gilles.dubochet@epfl.ch>2005-12-16 18:20:15 +0000
commit17e2b1c2a6f69ba74e79c30d1e44195fe732e3e3 (patch)
treebb804b4038eb6d0dee58b77cea8bd2dcc6f42dc4 /test/files/pos/S8.scala
parente70a1a24ef7a7b596a92e1853fd44e96f36ad245 (diff)
downloadscala-17e2b1c2a6f69ba74e79c30d1e44195fe732e3e3.tar.gz
scala-17e2b1c2a6f69ba74e79c30d1e44195fe732e3e3.tar.bz2
scala-17e2b1c2a6f69ba74e79c30d1e44195fe732e3e3.zip
Removed old scala tests from new Scala core mod...
Removed old scala tests from new Scala core module.
Diffstat (limited to 'test/files/pos/S8.scala')
-rw-r--r--test/files/pos/S8.scala19
1 files changed, 0 insertions, 19 deletions
diff --git a/test/files/pos/S8.scala b/test/files/pos/S8.scala
deleted file mode 100644
index 50f1df27a2..0000000000
--- a/test/files/pos/S8.scala
+++ /dev/null
@@ -1,19 +0,0 @@
-/* I believe this code is correct, but the compiler rejects it:
-**
-** S8.scala:18: type mismatch;
-** found : M.x.A
-** required: M.x.a.B
-** val y: x.a.B = new x.A(); //correct?
-** ^
-** For a given value x of type S8, type x.A should be
-** a subtype of x.a.B.
-*/
-class S8() {
- val a: S8 = this;
- class A() extends a.B() {}
- class B() {}
-}
-object M {
- val x = new S8();
- val y: x.a.B = new x.A(); //correct?
-}