diff options
author | Martin Odersky <odersky@gmail.com> | 2007-06-05 15:57:59 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2007-06-05 15:57:59 +0000 |
commit | e51207992f525ed9e32a7a9a39512b4d7e503c03 (patch) | |
tree | b9440d03aed294fde3f8aaa293f60ed98b5de0c1 /test/files/pos/bug0039.scala | |
parent | e060c61b6127ceb2de0e4ce5d3f3d685bc542804 (diff) | |
download | scala-e51207992f525ed9e32a7a9a39512b4d7e503c03.tar.gz scala-e51207992f525ed9e32a7a9a39512b4d7e503c03.tar.bz2 scala-e51207992f525ed9e32a7a9a39512b4d7e503c03.zip |
deprecated &f, .f, requires.
Added existential types.
Diffstat (limited to 'test/files/pos/bug0039.scala')
-rw-r--r-- | test/files/pos/bug0039.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/files/pos/bug0039.scala b/test/files/pos/bug0039.scala index e1fc62f40f..652c606b0e 100644 --- a/test/files/pos/bug0039.scala +++ b/test/files/pos/bug0039.scala @@ -1,4 +1,4 @@ -abstract class Extensible[A, This <: Extensible[A, This]](x: A, xs: This) requires This { +abstract class Extensible[A, This <: Extensible[A, This]](x: A, xs: This) { self: This => def mkObj(x: A, xs: This): This; } class Fixed[A](x: A, xs: Fixed[A]) extends Extensible[A, Fixed[A]](x, xs) { |