From b2c6474925b7b2e9d03eb78c8f1e2f70617c206c Mon Sep 17 00:00:00 2001 From: maier Date: Mon, 31 Mar 2008 19:07:26 +0000 Subject: [PATCH] Pending test for #699 git-svn-id: http://lampsvn.epfl.ch/svn-repos/scala/scala/trunk@14472 5e8d7ff9-d8ef-0310-90f0-a4852d11357a --- test/pending/neg/t0699.check | 10 ++++++++++ test/pending/neg/t0699/A.scala | 4 ++++ test/pending/neg/t0699/B.scala | 5 +++++ 3 files changed, 19 insertions(+) create mode 100644 test/pending/neg/t0699.check create mode 100644 test/pending/neg/t0699/A.scala create mode 100644 test/pending/neg/t0699/B.scala diff --git a/test/pending/neg/t0699.check b/test/pending/neg/t0699.check new file mode 100644 index 000000000..c944da8c1 --- /dev/null +++ b/test/pending/neg/t0699.check @@ -0,0 +1,10 @@ +B.scala:2: error: illegal inheritance from sealed trait T + trait T1 extends A.T + ^ +B.scala:3: error: illegal inheritance from sealed class C + trait T2 extends A.C + ^ +B.scala:4: error: illegal inheritance from sealed class C + class C1 extends A.C + ^ +three errors found diff --git a/test/pending/neg/t0699/A.scala b/test/pending/neg/t0699/A.scala new file mode 100644 index 000000000..740d8ecda --- /dev/null +++ b/test/pending/neg/t0699/A.scala @@ -0,0 +1,4 @@ +object A { + sealed trait T + sealed class C +} \ No newline at end of file diff --git a/test/pending/neg/t0699/B.scala b/test/pending/neg/t0699/B.scala new file mode 100644 index 000000000..f1f17efe8 --- /dev/null +++ b/test/pending/neg/t0699/B.scala @@ -0,0 +1,5 @@ +object B { + trait T1 extends A.T + trait T2 extends A.C + class C1 extends A.C +} \ No newline at end of file