diff options
| author | Martin Odersky <odersky@gmail.com> | 2003-05-19 11:12:09 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2003-05-19 11:12:09 +0000 |
| commit | f7f15007686e355a2d8668bf890603be90810e29 (patch) | |
| tree | bdb8a9a813fd1a8b32bc20b6988eafe16de4a2f8 /test/files/pos/patterns.scala | |
| parent | 2300aac76adab6945ca2d2e3cb15320621a76150 (diff) | |
| download | scala-f7f15007686e355a2d8668bf890603be90810e29.tar.gz scala-f7f15007686e355a2d8668bf890603be90810e29.tar.bz2 scala-f7f15007686e355a2d8668bf890603be90810e29.zip | |
*** empty log message ***
Diffstat (limited to 'test/files/pos/patterns.scala')
| -rw-r--r-- | test/files/pos/patterns.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/files/pos/patterns.scala b/test/files/pos/patterns.scala index 9af176a9f8..f996f89725 100644 --- a/test/files/pos/patterns.scala +++ b/test/files/pos/patterns.scala @@ -1,4 +1,4 @@ -trait Option[a] {} +trait Option[+a] {} case class Some[a](x: a) extends Option[a] { override def toString(): scala.String = "Some(" + x + ")"; override def equals(that: Any): Boolean = that match { @@ -7,7 +7,7 @@ case class Some[a](x: a) extends Option[a] { } override def hashCode(): scala.Int = getClass().hashCode() * 41 + x.hashCode(); } -case class None[a] extends Option[a] { +case object None extends Option[All] { override def toString(): scala.String = "None"; override def equals(that: Any) = that match { case None => true |