diff options
author | Antonio Cunei <antonio.cunei@epfl.ch> | 2010-01-15 16:58:28 +0000 |
---|---|---|
committer | Antonio Cunei <antonio.cunei@epfl.ch> | 2010-01-15 16:58:28 +0000 |
commit | 3e1241caeca9af5b05922d38bed1b0480e6da56d (patch) | |
tree | 56ab1c1e104498ce49ef57c86dd453143955b48d /src/library/scala/Option.scala | |
parent | b0e6451e78740747da641d3c4b7f524f102810f9 (diff) | |
download | scala-3e1241caeca9af5b05922d38bed1b0480e6da56d.tar.gz scala-3e1241caeca9af5b05922d38bed1b0480e6da56d.tar.bz2 scala-3e1241caeca9af5b05922d38bed1b0480e6da56d.zip |
Reverted over-zealous replacement of 'PartialFu...
Reverted over-zealous replacement of 'PartialFunction' with '=>?'.
Diffstat (limited to 'src/library/scala/Option.scala')
-rw-r--r-- | src/library/scala/Option.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/library/scala/Option.scala b/src/library/scala/Option.scala index 6cb0fec929..8511fa78a5 100644 --- a/src/library/scala/Option.scala +++ b/src/library/scala/Option.scala @@ -110,7 +110,7 @@ sealed abstract class Option[+A] extends Product { * * @param pf the partial function. */ - def partialMap[B](pf: A =>? B): Option[B] = + def partialMap[B](pf: PartialFunction[A, B]): Option[B] = if (!isEmpty && pf.isDefinedAt(this.get)) Some(pf(this.get)) else None /** If the option is nonempty return it, |