diff options
author | Martin Odersky <odersky@gmail.com> | 2003-03-04 18:15:23 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2003-03-04 18:15:23 +0000 |
commit | 1956c530070b9ad3c75991ac90c2969081483c41 (patch) | |
tree | c86e7ee393b06566f1ca432b36d10a79fbe57c43 /test/files | |
parent | f5c16175c80964444c2da72a6f089a0ad287ac8a (diff) | |
download | scala-1956c530070b9ad3c75991ac90c2969081483c41.tar.gz scala-1956c530070b9ad3c75991ac90c2969081483c41.tar.bz2 scala-1956c530070b9ad3c75991ac90c2969081483c41.zip |
*** empty log message ***
Diffstat (limited to 'test/files')
-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); } |