diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-01-18 11:59:02 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-01-18 12:01:04 +0100 |
| commit | 5a5806b4c5fb6678d63d9f1da06669447cb97eab (patch) | |
| tree | 62c373a2664e70a8e70a3c540a861e082db46c3d /src/dotty/tools/dotc/util/Stats.scala | |
| parent | 4e05acd46b886e0a7e577a5caa9b6145a69c250b (diff) | |
| download | dotty-5a5806b4c5fb6678d63d9f1da06669447cb97eab.tar.gz dotty-5a5806b4c5fb6678d63d9f1da06669447cb97eab.tar.bz2 dotty-5a5806b4c5fb6678d63d9f1da06669447cb97eab.zip | |
Refine notion of pattern variables.
They are variables only in certain regions of a pattern, but not in others. E.g. in
nme.CONSTRUCTOR
nme is NOT a variable.
Diffstat (limited to 'src/dotty/tools/dotc/util/Stats.scala')
| -rw-r--r-- | src/dotty/tools/dotc/util/Stats.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/util/Stats.scala b/src/dotty/tools/dotc/util/Stats.scala index 3aa6eb9b9..3d7628477 100644 --- a/src/dotty/tools/dotc/util/Stats.scala +++ b/src/dotty/tools/dotc/util/Stats.scala @@ -30,7 +30,7 @@ object Stats { print("|") } - override final def run() { + override final def run(): Unit = { Thread.sleep(HeartBeatPeriod) printStack(stack) if (continue) run() |