diff options
| author | Som Snytt <som.snytt@gmail.com> | 2014-02-13 22:13:23 -0800 |
|---|---|---|
| committer | Som Snytt <som.snytt@gmail.com> | 2014-02-14 13:29:16 -0800 |
| commit | 37f822eb66dc18a2b3bfdaa672081b6f08ef5688 (patch) | |
| tree | dc29d030f6d3dc6710d459ede604cbcff2e31c6f /src/partest-extras | |
| parent | d4f5abf9002fd617e871d1f20fdcf531b38b26e1 (diff) | |
| download | scala-37f822eb66dc18a2b3bfdaa672081b6f08ef5688.tar.gz scala-37f822eb66dc18a2b3bfdaa672081b6f08ef5688.tar.bz2 scala-37f822eb66dc18a2b3bfdaa672081b6f08ef5688.zip | |
SI-7711 Do not emit extra argv in script body
Take away `argv` and make `args` the standard parameter name.
This is a quick fix to avoid "unused local" lint error. All
the examples use `args`; in particular, "Step 4. Write some
Scala scripts" in "Programming in Scala" uses `args`.
I see the footnote there is also where Odersky concatenation is
specified, `"Hello, "+ args(0) +"!"` with no space next to the
literals.
Also removes `argv` from `StdNames`. Was torn whether just to
add `argc`. Maybe start a new project to house Names, emeritus.
Diffstat (limited to 'src/partest-extras')
0 files changed, 0 insertions, 0 deletions