diff options
author | paltherr <paltherr@epfl.ch> | 2005-05-23 08:24:34 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2005-05-23 08:24:34 +0000 |
commit | d9e3c133db4f7b57fe6d4d735d9ae687d29484cb (patch) | |
tree | 0f98d2ae9454a02ee5bd8a29d4e247943e7de120 | |
parent | 67282530f6c215ef2b25444ed4c60ffcb80cd0af (diff) | |
download | scala-d9e3c133db4f7b57fe6d4d735d9ae687d29484cb.tar.gz scala-d9e3c133db4f7b57fe6d4d735d9ae687d29484cb.tar.bz2 scala-d9e3c133db4f7b57fe6d4d735d9ae687d29484cb.zip |
- Adapted to the new compiler
-rw-r--r-- | sources/scala/tools/scalap/Arguments.scala | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/sources/scala/tools/scalap/Arguments.scala b/sources/scala/tools/scalap/Arguments.scala index f5c736497c..bc579ee850 100644 --- a/sources/scala/tools/scalap/Arguments.scala +++ b/sources/scala/tools/scalap/Arguments.scala @@ -173,25 +173,25 @@ class Arguments { def getArgument(option: String): Option[String] = arguments get option; def getSuffixes(prefix: String): Set[String] = - prefixes.get(prefix).match { + prefixes.get(prefix) match { case None => new HashSet; case Some(set) => set } def containsSuffix(prefix: String, suffix: String): Boolean = - prefixes.get(prefix).match { + prefixes.get(prefix) match { case None => false case Some(set) => set contains suffix }; def getBindings(tag: String): Map[String, String] = - bindings.get(tag).match { + bindings.get(tag) match { case None => new HashMap; case Some(map) => map } def getBinding(option: String, key: String): Option[String] = - bindings.get(option).match { + bindings.get(option) match { case None => None case Some(map) => map get key }; |