diff options
author | Martin Odersky <odersky@gmail.com> | 2003-02-19 14:49:03 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2003-02-19 14:49:03 +0000 |
commit | ee273f5e7373fa54dc6e81f4488519635344e2e3 (patch) | |
tree | e17326e54f57e9842c2efc63f5ec1cdf8dfd0acb /test/files/pos/List1.scala | |
parent | affdf7ee9c4ad49ffe02cb9092315cd16610ab70 (diff) | |
download | scala-ee273f5e7373fa54dc6e81f4488519635344e2e3.tar.gz scala-ee273f5e7373fa54dc6e81f4488519635344e2e3.tar.bz2 scala-ee273f5e7373fa54dc6e81f4488519635344e2e3.zip |
*** empty log message ***
Diffstat (limited to 'test/files/pos/List1.scala')
-rw-r--r-- | test/files/pos/List1.scala | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/test/files/pos/List1.scala b/test/files/pos/List1.scala index 60c23634bf..a52c95b1c8 100644 --- a/test/files/pos/List1.scala +++ b/test/files/pos/List1.scala @@ -4,13 +4,13 @@ module lists { def isEmpty: Boolean; def head: a; def tail: List[a]; - def prepend(x: a) = Cons@[a](x, this); + def prepend(x: a) = Cons[a](x, this); } def Nil[a] = new List[a] { def isEmpty = True; - def head = error@[a]("head of Nil"); - def tail = error@[List[a]]("tail of Nil"); + def head = error[a]("head of Nil"); + def tail = error[List[a]]("tail of Nil"); } def Cons[a](x: a, xs: List[a]): List[a] = new List[a] { @@ -20,10 +20,10 @@ module lists { } def foo = { - val intnil = Nil@[Int]; + val intnil = Nil[Int]; val intlist = intnil.prepend(1).prepend(1+1); val x: Int = intlist.head; - val strnil = Nil@[String]; + val strnil = Nil[String]; val strlist = strnil.prepend("A").prepend("AA"); val y: String = strlist.head; () @@ -32,9 +32,9 @@ 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: True.type; 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); + def tail: List[Int] = Nil[Int].prepend(1).prepend(1+1); } def foo2 = { |