From e02fed8e7df8aebe1ee96b3dc23b805c1171afd2 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Tue, 31 Oct 2006 09:51:45 +0000 Subject: fixed bugs 599 and 757 --- test/files/pos/bug599.scala | 19 +++++++++++++++++++ test/files/pos/bug757.scala | 13 +++++++++++++ test/files/pos/bug757a.scala | 1 + 3 files changed, 33 insertions(+) create mode 100644 test/files/pos/bug599.scala create mode 100644 test/files/pos/bug757.scala create mode 100644 test/files/pos/bug757a.scala (limited to 'test') diff --git a/test/files/pos/bug599.scala b/test/files/pos/bug599.scala new file mode 100644 index 0000000000..968e2deaee --- /dev/null +++ b/test/files/pos/bug599.scala @@ -0,0 +1,19 @@ +abstract class FooA { + type A <: AxA; + abstract class AxA; + abstract class InnerA { + type B <: A; + def doB : B; + } + } + trait FooB extends FooA { + type A <: AxB; + trait AxB extends AxA { def xxx : Int; } + abstract class InnerB extends InnerA { + // type B <: A; + val a : A = doB; + a.xxx; + val aaa: InnerB.this.B = doB + aaa.xxx; + } + } diff --git a/test/files/pos/bug757.scala b/test/files/pos/bug757.scala new file mode 100644 index 0000000000..cc6527f3f2 --- /dev/null +++ b/test/files/pos/bug757.scala @@ -0,0 +1,13 @@ +package foo { + object C { + def foo { + Console.println("foo") + } + } +} + +package bar { + object Main extends Application { + foo.C.foo + } +} diff --git a/test/files/pos/bug757a.scala b/test/files/pos/bug757a.scala new file mode 100644 index 0000000000..f52652b1ba --- /dev/null +++ b/test/files/pos/bug757a.scala @@ -0,0 +1 @@ +package foo -- cgit v1.2.3