From 6a7bec093bbf8da427657fa84783dcc21c59fcc0 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Thu, 20 Mar 2003 17:42:36 +0000
Subject: *** empty log message ***

---
 test/files/neg/vincent.scala | 21 ---------------------
 1 file changed, 21 deletions(-)
 delete mode 100644 test/files/neg/vincent.scala

(limited to 'test/files')

diff --git a/test/files/neg/vincent.scala b/test/files/neg/vincent.scala
deleted file mode 100644
index b61c8c4127..0000000000
--- a/test/files/neg/vincent.scala
+++ /dev/null
@@ -1,21 +0,0 @@
-module test {
-
-  trait A { type T; }
-
-  trait B { type T; }
-
-  /** def functor(x: A): B { type T = x.T } */
-  abstract class functor() {
-    val arg: A;
-    val res: B { type T = arg.T } =
-      new B { type T = arg.T; };
-  }
-
-  val a = new  A { type T = String };
-  /** val b: B { type T = String } = functor(a) */
-  val b: B { type T = String } = {
-    val tmp = new functor() { val arg = a };
-    tmp.res
-  }
-
-}
-- 
cgit v1.2.3