From ee41bd58d4e28008070b4d705511beab36f645e1 Mon Sep 17 00:00:00 2001 From: Gilles Dubochet Date: Wed, 6 Jun 2007 00:40:56 +0000 Subject: Fixed structural subtyping to work when JVM 1.5... MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Fixed structural subtyping to work when JVM 1.5 target is used. Bug 711 no longer is “neg” thanks to structural subtyping. --- test/files/neg/bug711.check | 4 ---- test/files/neg/bug711.scala | 14 -------------- test/files/pos/bug711.scala | 14 ++++++++++++++ 3 files changed, 14 insertions(+), 18 deletions(-) delete mode 100644 test/files/neg/bug711.check delete mode 100644 test/files/neg/bug711.scala create mode 100644 test/files/pos/bug711.scala (limited to 'test/files') 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 -} diff --git a/test/files/pos/bug711.scala b/test/files/pos/bug711.scala new file mode 100644 index 0000000000..70fcc7f0d0 --- /dev/null +++ b/test/files/pos/bug711.scala @@ -0,0 +1,14 @@ +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 +} -- cgit v1.2.3