From 3049afc7ec7ca038dd8d68d26803c0733df01ee1 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Fri, 31 Mar 2006 10:36:49 +0000 Subject: fixed several old bugs --- test/files/pos/bug247.scala | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 test/files/pos/bug247.scala (limited to 'test/files/pos/bug247.scala') diff --git a/test/files/pos/bug247.scala b/test/files/pos/bug247.scala new file mode 100644 index 0000000000..bfd9d9694f --- /dev/null +++ b/test/files/pos/bug247.scala @@ -0,0 +1,25 @@ +class Order[t](less:(t,t) => Boolean,equal:(t,t) => Boolean) {} + +trait Map[A, B] extends scala.collection.Map[A, B] { + val factory:MapFactory[A] +} +abstract class MapFactory[A] { + def Empty[B]:Map[A,B]; +} + +class TreeMapFactory[KEY](newOrder:Order[KEY]) extends MapFactory[KEY] { + val order = newOrder; + def Empty[V] = new TreeMap[KEY,V](new TreeMapFactory[KEY](order)); +} + +class Tree[KEY,Entry](order:Order[KEY]) { + def size =0; +} + +class TreeMap[KEY,VALUE](_factory:TreeMapFactory[KEY]) extends Tree[KEY,Pair[KEY,VALUE]](_factory.order) with Map[KEY, VALUE] { + val factory = _factory + val order = _factory.order; + def this(newOrder:Order[KEY]) = this(new TreeMapFactory[KEY](newOrder)); + def get(key:KEY) = null; + def elements:Iterator[Pair[KEY,VALUE]] = null; +} -- cgit v1.2.3