diff options
| author | Iulian Dragos <jaguarul@gmail.com> | 2008-05-19 15:30:17 +0000 |
|---|---|---|
| committer | Iulian Dragos <jaguarul@gmail.com> | 2008-05-19 15:30:17 +0000 |
| commit | f1954d9a3570572f5b79511c4eec7b6ceb7a9dd1 (patch) | |
| tree | ebbea343d38c69ced09ec935cde1739451346122 /src/partest | |
| parent | 617eafd6e8aa2bec753f9cf1663bedfb4c200733 (diff) | |
| download | scala-f1954d9a3570572f5b79511c4eec7b6ceb7a9dd1.tar.gz scala-f1954d9a3570572f5b79511c4eec7b6ceb7a9dd1.tar.bz2 scala-f1954d9a3570572f5b79511c4eec7b6ceb7a9dd1.zip | |
Deprecated lower case type aliases for primitiv...
Deprecated lower case type aliases for primitive types, #744.
Diffstat (limited to 'src/partest')
| -rw-r--r-- | src/partest/scala/tools/partest/PartestTask.scala | 4 | ||||
| -rw-r--r-- | src/partest/scala/tools/partest/nest/Worker.scala | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/partest/scala/tools/partest/PartestTask.scala b/src/partest/scala/tools/partest/PartestTask.scala index 39e66f5b0c..b2990fb4a5 100644 --- a/src/partest/scala/tools/partest/PartestTask.scala +++ b/src/partest/scala/tools/partest/PartestTask.scala @@ -160,8 +160,8 @@ class PartestTask extends Task { if (!scalacOpts.isEmpty) setFileManagerStringProperty("SCALAC_OPTS", scalacOpts.get) - var allSucesses: int = 0 - var allFailures: int = 0 + var allSucesses: Int = 0 + var allFailures: Int = 0 if (getPosFiles.size > 0) { log("Compiling files that are expected to build") diff --git a/src/partest/scala/tools/partest/nest/Worker.scala b/src/partest/scala/tools/partest/nest/Worker.scala index 983cc0c2c4..58cad347ea 100644 --- a/src/partest/scala/tools/partest/nest/Worker.scala +++ b/src/partest/scala/tools/partest/nest/Worker.scala @@ -71,7 +71,7 @@ class Worker(val fileManager: FileManager) extends Actor { NestUI.normal("[...]"+name+List.toString(List.make(totalWidth-name.length, ' ')), printer) } - def printInfoEnd(success: boolean, printer: PrintWriter) { + def printInfoEnd(success: Boolean, printer: PrintWriter) { NestUI.normal("[", printer) if (success) NestUI.success(" OK ", printer) else NestUI.failure("FAILED", printer) |