diff options
| author | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2007-06-06 00:40:56 +0000 |
|---|---|---|
| committer | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2007-06-06 00:40:56 +0000 |
| commit | ee41bd58d4e28008070b4d705511beab36f645e1 (patch) | |
| tree | 2e40454199dc66adc0fa384275a31972aef05b96 /test/files/neg | |
| parent | cea527a9dc7cfef933ed911b8196858f412827b2 (diff) | |
| download | scala-ee41bd58d4e28008070b4d705511beab36f645e1.tar.gz scala-ee41bd58d4e28008070b4d705511beab36f645e1.tar.bz2 scala-ee41bd58d4e28008070b4d705511beab36f645e1.zip | |
Fixed structural subtyping to work when JVM 1.5...
Fixed structural subtyping to work when JVM 1.5 target is used. Bug 711
no longer is “neg” thanks to structural subtyping.
Diffstat (limited to 'test/files/neg')
| -rw-r--r-- | test/files/neg/bug711.check | 4 | ||||
| -rw-r--r-- | test/files/neg/bug711.scala | 14 |
2 files changed, 0 insertions, 18 deletions
diff --git a/test/files/neg/bug711.check b/test/files/neg/bug711.check deleted file mode 100644 index 13afb817b2..0000000000 --- a/test/files/neg/bug711.check +++ /dev/null @@ -1,4 +0,0 @@ -bug711.scala:11: error: method sayHey does not refine a member of its base type - def sayHey: Unit - ^ -one error found diff --git a/test/files/neg/bug711.scala b/test/files/neg/bug711.scala deleted file mode 100644 index 70fcc7f0d0..0000000000 --- a/test/files/neg/bug711.scala +++ /dev/null @@ -1,14 +0,0 @@ -abstract class Component - -class Button extends Component { - def sayHey: Unit = Console.println("Hey, I'm a button") } - -abstract class Origin { - val delegate: Component } - -object main extends Origin with Application { - val delegate: Component { - def sayHey: Unit - } = new Button - delegate.sayHey -} |