diff options
author | Martin Odersky <odersky@gmail.com> | 2006-10-31 09:51:45 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-10-31 09:51:45 +0000 |
commit | e02fed8e7df8aebe1ee96b3dc23b805c1171afd2 (patch) | |
tree | 2b9c7830429738f035ee88b8b25d12f2c4985e2f /test | |
parent | dd9a27c37f40655dc467f71fd6e3539bd88afe22 (diff) | |
download | scala-e02fed8e7df8aebe1ee96b3dc23b805c1171afd2.tar.gz scala-e02fed8e7df8aebe1ee96b3dc23b805c1171afd2.tar.bz2 scala-e02fed8e7df8aebe1ee96b3dc23b805c1171afd2.zip |
fixed bugs 599 and 757
Diffstat (limited to 'test')
-rw-r--r-- | test/files/pos/bug599.scala | 19 | ||||
-rw-r--r-- | test/files/pos/bug757.scala | 13 | ||||
-rw-r--r-- | test/files/pos/bug757a.scala | 1 |
3 files changed, 33 insertions, 0 deletions
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 |