diff options
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); } |