From 21b147f7caf8b558b00044f493cf9da392c7e30e Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Fri, 14 Feb 2003 14:39:24 +0000 Subject: Initial version. --- test/pos/clsrefine.scala | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 test/pos/clsrefine.scala (limited to 'test/pos/clsrefine.scala') diff --git a/test/pos/clsrefine.scala b/test/pos/clsrefine.scala new file mode 100644 index 0000000000..cbef0968e0 --- /dev/null +++ b/test/pos/clsrefine.scala @@ -0,0 +1,33 @@ +import scala._; + +package scalac.util { + +trait A { + type X1, X2; + val x1: X1, x2: X2; +} +trait B extends A { + type Y; + val y1: Y, y2: Y; + type X1 = Y, X2 = Y; + val x1 = y1, x2 = y2; + def f(x: Y, xs: B): Unit = {} + def g() = f(y1, this); +} + +module test { + val b: B with { type Y = Int } = new B { + type Y = Int; + val y1 = 1, y2 = 1; + } + val a: A with { type X1 = Int, X2 = Int } = b; + val a1 = new A with { + type X1 = Int, X2 = String; + val x1 = 1, x2 = "hello" + } + val b1 = new B with { + type Y = Any; + val y1 = 1, y2 = "hello"; + } +} +} \ No newline at end of file -- cgit v1.2.3