From 03449ed20a3cca9e8d974c7efeff6b4e01ecb66d Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Thu, 31 Jul 2003 09:57:59 +0000 Subject: *** empty log message *** --- test/files/neg/bug67.scala | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 test/files/neg/bug67.scala (limited to 'test/files/neg/bug67.scala') diff --git a/test/files/neg/bug67.scala b/test/files/neg/bug67.scala new file mode 100644 index 0000000000..48229defaa --- /dev/null +++ b/test/files/neg/bug67.scala @@ -0,0 +1,21 @@ +class D[A <: Ord[A],B] { + abstract class Tree[A <: Ord[A],B](); + case class Node[A,B](key:A,value:B,smaller:Tree[A,B],bigger:Tree[A,B]) + extends Tree[A,B]; + case class Nil[A,B]() extends Tree[A,B]; + + + abstract case class InsertTree[A,B](); + case class ITree[A,B](t:Tree[A,B]); // forgot extends InsertTree[A,B]; + case class INode[A,B](t:Tree[A,B],height:int,size:int); // forgot extends InsertTree[A,B]; + val tree:Tree[A,B] = Nil(); + val s = 0; + + def insert(key:A, value:B) = { + val ITree(t1) = insert_1(key, value, tree, s); + } + + def insert_1(key:A, value:B, t0:Tree[A,B], s:int):InsertTree[A,B] = { + INode(t0,1,s); + } +} -- cgit v1.2.3