diff options
author | michelou <michelou@epfl.ch> | 2006-10-13 19:06:41 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2006-10-13 19:06:41 +0000 |
commit | af511469a6c4323488e1e263cc2f45786f276672 (patch) | |
tree | 507ccb0fee6fe1c1b7ef9ea2955c8b3d4d7bbbbe /test/files/pos/infer.scala | |
parent | ec04190880e49b0d32651fe04e27a67bd952bcdd (diff) | |
download | scala-af511469a6c4323488e1e263cc2f45786f276672.tar.gz scala-af511469a6c4323488e1e263cc2f45786f276672.tar.bz2 scala-af511469a6c4323488e1e263cc2f45786f276672.zip |
changed "All/AllRef" to "Nothing/Null" in test/...
changed "All/AllRef" to "Nothing/Null" in test/library/compiler
Diffstat (limited to 'test/files/pos/infer.scala')
-rw-r--r-- | test/files/pos/infer.scala | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/test/files/pos/infer.scala b/test/files/pos/infer.scala index 24871458b3..6aeed40491 100644 --- a/test/files/pos/infer.scala +++ b/test/files/pos/infer.scala @@ -1,11 +1,11 @@ object test { class List[+a] { - def ::[b >: a](x: b): List[b] = new Cons(x, this); + def ::[b >: a](x: b): List[b] = new Cons(x, this) } - case class Cons[a, b <: a](x: a, xs: List[b]) extends List[a]; - case object Nil extends List[All]; - def nil[n]: List[n] = Nil; - def cons[a](x: a, xs: List[a]): List[a] = null; - val x: List[Int] = Nil.::(1); - val y: List[Int] = nil.::(1); + case class Cons[a, b <: a](x: a, xs: List[b]) extends List[a] + case object Nil extends List[Nothing] + def nil[n]: List[n] = Nil + def cons[a](x: a, xs: List[a]): List[a] = null + val x: List[Int] = Nil.::(1) + val y: List[Int] = nil.::(1) } |