diff options
author | Martin Odersky <odersky@gmail.com> | 2007-05-30 15:36:57 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2007-05-30 15:36:57 +0000 |
commit | 1cc6a768e075c0d764ae0625598b5d352ec1b4f2 (patch) | |
tree | 120dc52ad301cf2ed19296488723e6c527cde961 /test/files/pos | |
parent | 2dcbfa7d08d1063757713d77ff39557a89be3014 (diff) | |
download | scala-1cc6a768e075c0d764ae0625598b5d352ec1b4f2.tar.gz scala-1cc6a768e075c0d764ae0625598b5d352ec1b4f2.tar.bz2 scala-1cc6a768e075c0d764ae0625598b5d352ec1b4f2.zip |
fixed bug 1123
Diffstat (limited to 'test/files/pos')
-rw-r--r-- | test/files/pos/bug1034.scala | 6 | ||||
-rw-r--r-- | test/files/pos/bug1075.scala | 17 | ||||
-rw-r--r-- | test/files/pos/bug1119.scala | 10 | ||||
-rw-r--r-- | test/files/pos/bug1123.scala | 11 | ||||
-rw-r--r-- | test/files/pos/caseaccs.scala | 11 | ||||
-rwxr-xr-x | test/files/pos/itay.scala | 4 |
6 files changed, 59 insertions, 0 deletions
diff --git a/test/files/pos/bug1034.scala b/test/files/pos/bug1034.scala new file mode 100644 index 0000000000..d6c1591bd2 --- /dev/null +++ b/test/files/pos/bug1034.scala @@ -0,0 +1,6 @@ +object Terminal { + def apply[a] : a => unit = { a => () } + val i0 = Terminal.apply[int] + val i1 = (Terminal)[int] + val i2 = Terminal[int] +} diff --git a/test/files/pos/bug1075.scala b/test/files/pos/bug1075.scala new file mode 100644 index 0000000000..936ef72272 --- /dev/null +++ b/test/files/pos/bug1075.scala @@ -0,0 +1,17 @@ +class Directory(var dir_ : String) +{ + if (!dir_.startsWith("/")) { + throw new RuntimeException("Invalid directory") + } + dir_ = dir_.replaceAll("/{2,}", "/") + + def this(serialized : Array[byte]) = { + this(new String(serialized, "UTF-8")) + } + + def dir = dir_ +} + +object Test extends Directory("/bab/dkkd//dkkdkd//kdkdk") with Application { + println(dir) +} diff --git a/test/files/pos/bug1119.scala b/test/files/pos/bug1119.scala new file mode 100644 index 0000000000..8b36877c49 --- /dev/null +++ b/test/files/pos/bug1119.scala @@ -0,0 +1,10 @@ +trait B +{ + type T >: this.type <: B + + + // compile-time check: have we achieved our objective? + def test: T = this +} + + diff --git a/test/files/pos/bug1123.scala b/test/files/pos/bug1123.scala new file mode 100644 index 0000000000..3812fa3eb3 --- /dev/null +++ b/test/files/pos/bug1123.scala @@ -0,0 +1,11 @@ + +package test; +object Test { + class Editor { + private object extraListener { + def h : AnyRef = extraListener + } + def f = extraListener.h + } + def main(args : Array[String]) : Unit = (new Editor).f +} diff --git a/test/files/pos/caseaccs.scala b/test/files/pos/caseaccs.scala new file mode 100644 index 0000000000..2668127fc9 --- /dev/null +++ b/test/files/pos/caseaccs.scala @@ -0,0 +1,11 @@ +class Test { + case class Foo(x: int, private var y: int) +} + +object Test { + val test = new Test + val x = test.Foo(1, 2) + x match { + case test.Foo(x, y) => println(x); println(y) + } +} diff --git a/test/files/pos/itay.scala b/test/files/pos/itay.scala new file mode 100755 index 0000000000..9a97ded988 --- /dev/null +++ b/test/files/pos/itay.scala @@ -0,0 +1,4 @@ +abstract class Message[+A] + +trait InPort [+T <: Message[V], +V] + |