diff options
author | schinz <schinz@epfl.ch> | 2005-04-17 18:28:18 +0000 |
---|---|---|
committer | schinz <schinz@epfl.ch> | 2005-04-17 18:28:18 +0000 |
commit | 32bc7086c6468c3832cc5899931a6a6565347219 (patch) | |
tree | e3b2abb1b0c8705f3d136aeb787320b8b5672609 /sources | |
parent | 9e4dfe26684b3f824e608a30bfba0d0cf1cf0ae2 (diff) | |
download | scala-32bc7086c6468c3832cc5899931a6a6565347219.tar.gz scala-32bc7086c6468c3832cc5899931a6a6565347219.tar.bz2 scala-32bc7086c6468c3832cc5899931a6a6565347219.zip |
- made Text covariant so that pattern matches d...
- made Text covariant so that pattern matches do not fail as soon as run
time types are enabled
Diffstat (limited to 'sources')
-rw-r--r-- | sources/scala/xml/Text.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sources/scala/xml/Text.scala b/sources/scala/xml/Text.scala index bb0e32a375..95fec1104f 100644 --- a/sources/scala/xml/Text.scala +++ b/sources/scala/xml/Text.scala @@ -17,7 +17,7 @@ import scala.collection.immutable ; **/ -case class Text[A]( data: A ) extends SpecialNode { +case class Text[+A]( data: A ) extends SpecialNode { /** @deprecated */ @@ -34,7 +34,7 @@ case class Text[A]( data: A ) extends SpecialNode { final override def equals(x:Any) = x match { case s:String => s.equals( data.toString() ); - case Text( s ) => data == s ; + case s:Text[A] => data == s.data ; case _ => false; } |