From df50e05006b43b007c2587549030d24b5c154398 Mon Sep 17 00:00:00 2001
From: Gilles Dubochet <gilles.dubochet@epfl.ch>
Date: Fri, 16 Dec 2005 18:29:42 +0000
Subject: 'test-nsc' has been moved to 'test'.

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

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

diff --git a/test/files/pos/traits.scala b/test/files/pos/traits.scala
new file mode 100644
index 0000000000..5fdf4b342e
--- /dev/null
+++ b/test/files/pos/traits.scala
@@ -0,0 +1,42 @@
+object Test {
+  type Color = int;
+  trait Shape {
+    override def equals(other: Any) = true;
+  }
+  trait Bordered extends Shape {
+    val thickness: int;
+    override def equals(other: Any) = other match {
+      case that: Bordered => this.thickness == that.thickness;
+      case _ => false
+    }
+  }
+  trait Colored extends Shape {
+    val color: Color;
+    override def equals(other: Any) = other match {
+      case that: Colored => this.color == that.color;
+      case _ => false
+    }
+  }
+  trait BorderedColoredShape extends Shape with Bordered with Colored {
+    override def equals(other: Any) = other match {
+      case that: BorderedColoredShape =>
+	super.equals(that) &&
+        super[Bordered].equals(that) &&
+        super[Colored].equals(that)
+      case _ => false
+    }
+  }
+
+  val bcs1 = new BorderedColoredShape {
+    val thickness = 1;
+    val color = 0;
+  }
+  val bcs2 = new BorderedColoredShape {
+    val thickness = 2;
+    val color = 0;
+  }
+  System.out.println(bcs1 == bcs1);
+  System.out.println(bcs1 == bcs2);
+}
+
+
-- 
cgit v1.2.3