diff options
author | Martin Odersky <odersky@gmail.com> | 2006-04-25 14:01:59 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-04-25 14:01:59 +0000 |
commit | 88cd71a283f25b20414b1a22b9fded83692ffc14 (patch) | |
tree | 921d9a72ae56ac70d11ba1a58ee274cb8808a60d /test | |
parent | 8e1da29a68f7d494a89a1922e3b30e39b245da63 (diff) | |
download | scala-88cd71a283f25b20414b1a22b9fded83692ffc14.tar.gz scala-88cd71a283f25b20414b1a22b9fded83692ffc14.tar.bz2 scala-88cd71a283f25b20414b1a22b9fded83692ffc14.zip |
Diffstat (limited to 'test')
-rw-r--r-- | test/pending/pos/bug572.scala | 33 | ||||
-rw-r--r-- | test/pending/pos/bug573.scala | 43 | ||||
-rwxr-xr-x | test/pending/pos/foo.scala | 3 | ||||
-rwxr-xr-x | test/pending/pos/gosh.scala | 44 | ||||
-rw-r--r-- | test/pending/pos/moors.scala | 12 | ||||
-rwxr-xr-x | test/pending/run/exc.scala | 10 | ||||
-rwxr-xr-x | test/pending/run/exc1.scala | 10 | ||||
-rwxr-xr-x | test/pending/run/exc2.scala | 12 |
8 files changed, 167 insertions, 0 deletions
diff --git a/test/pending/pos/bug572.scala b/test/pending/pos/bug572.scala new file mode 100644 index 0000000000..3a69cde4a6 --- /dev/null +++ b/test/pending/pos/bug572.scala @@ -0,0 +1,33 @@ +package lampion.collections; + +object DirX { + abstract class Dir { + def reverse : Dir; + } + object BEFORE extends Dir { + def reverse = AFTER; + } + object AFTER extends Dir { + def reverse = BEFORE; + } +} +import DirX._; +abstract class Linked { + type Node <: Node0; + + abstract class Node0 { + var next : Node = _; + var prev : Node = _; + + def get(dir : Dir) = if (dir == BEFORE) prev; else next; + private def set(dir : Dir, node : Node) = + if (dir == BEFORE) prev = node; else next = node; + + def link(dir : Dir, node : Node) = { + assert(get(dir) == null); + assert(node.get(dir.reverse) == null); + set(dir, node); + node.set(dir.reverse(), node); + } + } +} diff --git a/test/pending/pos/bug573.scala b/test/pending/pos/bug573.scala new file mode 100644 index 0000000000..b1b4f75098 --- /dev/null +++ b/test/pending/pos/bug573.scala @@ -0,0 +1,43 @@ +package lampion.collections; + +object DirX { + abstract class Dir { + def reverse : Dir; + } + object BEFORE extends Dir { + def reverse = AFTER; + } + object AFTER extends Dir { + def reverse = BEFORE; + } +} + +import DirX._; + +abstract class Linked { + type Node <: Node0; + + abstract class Node0 { + var next : Node = _; + var prev : Node = _; + + def self : Node; + + def get(dir : Dir) = if (dir == BEFORE) prev; else next; + private def set(dir : Dir, node : Node) = + if (dir == BEFORE) prev = node; else next = node; + + def link(dir : Dir, node : Node) = { + assert(get(dir) == null); + assert(node.get(dir.reverse) == null); + set(dir, node); + node.set(dir.reverse, self); + } + + + def end(dir : Dir) : Node = { + if (get(dir) == null) this; + else get(dir).end(dir); + } + } +} diff --git a/test/pending/pos/foo.scala b/test/pending/pos/foo.scala new file mode 100755 index 0000000000..8b45addbd5 --- /dev/null +++ b/test/pending/pos/foo.scala @@ -0,0 +1,3 @@ +object foo { + var x: String +} diff --git a/test/pending/pos/gosh.scala b/test/pending/pos/gosh.scala new file mode 100755 index 0000000000..c4cd3df80b --- /dev/null +++ b/test/pending/pos/gosh.scala @@ -0,0 +1,44 @@ +object ShapeTest extends Application { + + class Point(x : int, y : int) { + override def toString() = "[" + x + "," + y + "]" + } + + abstract class Shape { + def draw() : unit + } + + class Line(s : Point, e : Point) extends Shape { + def draw() : unit = { Console.println("draw line " + s + "," + e) } + } + + abstract class Foo { + type T <: Object + + def show(o : T) : unit + def print() : unit = {Console.println("in Foo")} + } + + abstract class ShapeFoo extends Foo { + type T <: Shape + def show(o : T) : unit = { o.draw() } + override def print() : unit = {Console.println("in ShapeFoo")} + } + + class LineFoo extends ShapeFoo { + type T = Line + override def print() : unit = {Console.println("in LineFoo")} + } + + val p1 = new Point(1,4) + val p2 = new Point(12, 28) + + val l1 = new Line(p1, p2) + + + val l = new ShapeFoo{ // ** // + type T = Line // ** // + override def print() : unit = {Console.println("in LineFoo")} // ** // + } + l.show(l1) // ** // +} diff --git a/test/pending/pos/moors.scala b/test/pending/pos/moors.scala new file mode 100644 index 0000000000..4f7346f57f --- /dev/null +++ b/test/pending/pos/moors.scala @@ -0,0 +1,12 @@ +object Test { + + implicit def foo2bar(foo :Foo) :Bar = foo.bar + + class Foo(val bar :Bar) { + def testCoercion ={ val a: this.type = this; a.baz /* here, foo2bar is inferred by the compiler, as expected */} + def testCoercionThis = baz // --> error: not found: value baz + def testCoercionThis = (this: Foo).baz // --> error: value baz is not a member of Foo + } + + class Bar { def baz = System.out.println("baz")} +} diff --git a/test/pending/run/exc.scala b/test/pending/run/exc.scala new file mode 100755 index 0000000000..26f80412c0 --- /dev/null +++ b/test/pending/run/exc.scala @@ -0,0 +1,10 @@ +object exc1 extends Application { + def foo() = { + while (true) { + try { + } catch { + case ex: Exception => + } + } + } +} diff --git a/test/pending/run/exc1.scala b/test/pending/run/exc1.scala new file mode 100755 index 0000000000..48fc084dda --- /dev/null +++ b/test/pending/run/exc1.scala @@ -0,0 +1,10 @@ +object exc1 extends Application { + def foo(): unit = { + while (true) { + try { + } catch { + case ex: Exception => + } + } + } +} diff --git a/test/pending/run/exc2.scala b/test/pending/run/exc2.scala new file mode 100755 index 0000000000..8adf9b4a37 --- /dev/null +++ b/test/pending/run/exc2.scala @@ -0,0 +1,12 @@ +object exc2 extends Application { + def foo() = { + while (true) { + try { + Console.println("foo") + } catch { + case ex: Exception => + Console.println("bar") + } + } + } +} |