diff options
Diffstat (limited to 'test/files/pos')
-rw-r--r-- | test/files/pos/List1.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/files/pos/List1.scala b/test/files/pos/List1.scala index 0e2ad848c9..ea25a5c5d5 100644 --- a/test/files/pos/List1.scala +++ b/test/files/pos/List1.scala @@ -8,7 +8,7 @@ module lists { } def Nil[a] = new List[a] { - def isEmpty: True.type = True; + def isEmpty: Boolean = True; def head = error[a]("head of Nil"); def tail = error[List[a]]("tail of Nil"); } @@ -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: True.type; def head: Int; def tail: List[Int] } = Nil[Int]; + def foo: List[Int] with { 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); } |