diff options
author | Martin Odersky <odersky@gmail.com> | 2003-03-18 11:29:41 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2003-03-18 11:29:41 +0000 |
commit | 3307717e4e7dc1faf45accd775e5947db3652cd7 (patch) | |
tree | c03b053315c0b62aeb32d1f1a01c638e306905ff /test/files/pos/List1.scala | |
parent | 31b5dceeb144c7aa99aa153e4184cbb3b45110e0 (diff) | |
download | scala-3307717e4e7dc1faf45accd775e5947db3652cd7.tar.gz scala-3307717e4e7dc1faf45accd775e5947db3652cd7.tar.bz2 scala-3307717e4e7dc1faf45accd775e5947db3652cd7.zip |
*** empty log message ***
Diffstat (limited to 'test/files/pos/List1.scala')
-rw-r--r-- | test/files/pos/List1.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/files/pos/List1.scala b/test/files/pos/List1.scala index ea25a5c5d5..a6d4e78f8c 100644 --- a/test/files/pos/List1.scala +++ b/test/files/pos/List1.scala @@ -32,7 +32,7 @@ module lists { class IntList() extends List[Int] { def isEmpty: Boolean = False; def head: Int = 1; - def foo: List[Int] with { def isEmpty: Boolean; def head: Int; def tail: List[Int] } = Nil[Int]; + def foo: List[Int] { def isEmpty: Boolean; def head: Int; def tail: List[Int] } = Nil[Int]; def tail0: List[Int] = foo.prepend(1).prepend(1+1); def tail: List[Int] = Nil[Int].prepend(1).prepend(1+1); } |