diff options
author | schinz <schinz@epfl.ch> | 2005-01-17 14:24:53 +0000 |
---|---|---|
committer | schinz <schinz@epfl.ch> | 2005-01-17 14:24:53 +0000 |
commit | e7f0aaf5c349fe0e3512ef9fd45c7ed2a0cf7297 (patch) | |
tree | 00ad9e800413b60656c77b0006386fe3e1f172dd | |
parent | 6e578cf8bfa84a630ba8036b74a01e7ee20a28a8 (diff) | |
download | scala-e7f0aaf5c349fe0e3512ef9fd45c7ed2a0cf7297.tar.gz scala-e7f0aaf5c349fe0e3512ef9fd45c7ed2a0cf7297.tar.bz2 scala-e7f0aaf5c349fe0e3512ef9fd45c7ed2a0cf7297.zip |
- made the type argument of :: covariant, becau...
- made the type argument of :: covariant, because making it invariant
makes pattern-matching fail in most cases once run time types are
activated
-rw-r--r-- | sources/scala/List.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sources/scala/List.scala b/sources/scala/List.scala index 8446193340..8c7f8d0463 100644 --- a/sources/scala/List.scala +++ b/sources/scala/List.scala @@ -832,7 +832,7 @@ case object Nil extends List[All] with java.io.Serializable { * @author Martin Odersky * @version 1.0, 15/07/2003 */ -final case class ::[b](hd: b, tl: List[b]) extends List[b] with java.io.Serializable { +final case class ::[+b](hd: b, tl: List[b]) extends List[b] with java.io.Serializable { private val serialVersionUID = 0 - 8476791151983527571L; def isEmpty: boolean = false; def head: b = hd; |