diff options
| author | Paul Phillips <paulp@improving.org> | 2010-04-21 17:06:38 +0000 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2010-04-21 17:06:38 +0000 |
| commit | a17a4dc15730ce004ca8c9495c850dfca1062c24 (patch) | |
| tree | 5dbd27fc4476a3bd3f16d1fbbee4647b633f242b /src/compiler/scala/tools/cmd/Instance.scala | |
| parent | cf26f620707be4bd9f8bc30a733eb4a987894421 (diff) | |
| download | scala-a17a4dc15730ce004ca8c9495c850dfca1062c24.tar.gz scala-a17a4dc15730ce004ca8c9495c850dfca1062c24.tar.bz2 scala-a17a4dc15730ce004ca8c9495c850dfca1062c24.zip | |
Since pickled data moved into annotations ShowP...
Since pickled data moved into annotations ShowPickled has been
confusedly scratching its head. Made tools/showPickled work again. In
the process created a simple interface for creating command line tools
for the (majority of) commands which would just like to specify a
handful of options. No review.
Diffstat (limited to 'src/compiler/scala/tools/cmd/Instance.scala')
| -rw-r--r-- | src/compiler/scala/tools/cmd/Instance.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/cmd/Instance.scala b/src/compiler/scala/tools/cmd/Instance.scala index 4d319b98cc..3c0dbbaa1f 100644 --- a/src/compiler/scala/tools/cmd/Instance.scala +++ b/src/compiler/scala/tools/cmd/Instance.scala @@ -16,7 +16,8 @@ trait Instance extends Spec { protected def help(str: => String): Unit = () def isSet(s: String) = parsed isSet toOpt(s) - def originalArgs = parsed.originalArgs + def originalArgs = parsed.originalArgs // the full original list + def residualArgs = parsed.residualArgs // only args which were not options or args to options type OptionMagic = Opt.Instance protected implicit def optionMagicAdditions(name: String) = new Opt.Instance(programInfo, parsed, name) |