From 0ef0f40ae31bf8a1e3d5b9c6eea7ef5b5a073192 Mon Sep 17 00:00:00 2001
From: Burak Emir <emir@epfl.ch>
Date: Wed, 24 Jan 2007 15:20:25 +0000
Subject: moved working tests to files

---
 test/files/pos/gosh.scala | 44 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 44 insertions(+)
 create mode 100644 test/files/pos/gosh.scala

(limited to 'test/files/pos/gosh.scala')

diff --git a/test/files/pos/gosh.scala b/test/files/pos/gosh.scala
new file mode 100644
index 0000000000..c4cd3df80b
--- /dev/null
+++ b/test/files/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) // ** //
+}
-- 
cgit v1.2.3