diff options
| author | Martin Odersky <odersky@gmail.com> | 2003-03-20 17:42:36 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2003-03-20 17:42:36 +0000 |
| commit | 6a7bec093bbf8da427657fa84783dcc21c59fcc0 (patch) | |
| tree | b1ae43661172d44093466523027c7d5d0dd44b5c /test | |
| parent | 1bb9e69a30297f142353f256e97e379ba615f68a (diff) | |
| download | scala-6a7bec093bbf8da427657fa84783dcc21c59fcc0.tar.gz scala-6a7bec093bbf8da427657fa84783dcc21c59fcc0.tar.bz2 scala-6a7bec093bbf8da427657fa84783dcc21c59fcc0.zip | |
*** empty log message ***
Diffstat (limited to 'test')
| -rw-r--r-- | test/files/neg/vincent.scala | 21 | ||||
| -rw-r--r-- | test/neg/vincent.scala | 21 |
2 files changed, 0 insertions, 42 deletions
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 - } - -} diff --git a/test/neg/vincent.scala b/test/neg/vincent.scala deleted file mode 100644 index b61c8c4127..0000000000 --- a/test/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 - } - -} |