diff options
author | Geoffrey Washburn <geoffrey.washburn@epfl.ch> | 2008-03-03 15:55:10 +0000 |
---|---|---|
committer | Geoffrey Washburn <geoffrey.washburn@epfl.ch> | 2008-03-03 15:55:10 +0000 |
commit | 94339301cf181103c5eae5918f2410483f3ab8fd (patch) | |
tree | 35495b854829546c39cccf3bfa4acab2ecc0c516 /src/library/scala/Console.scala | |
parent | 746658d2748b203fea8f0936a6a5bf4767d547fa (diff) | |
download | scala-94339301cf181103c5eae5918f2410483f3ab8fd.tar.gz scala-94339301cf181103c5eae5918f2410483f3ab8fd.tar.bz2 scala-94339301cf181103c5eae5918f2410483f3ab8fd.zip |
Using java.lang.Boolean.valueOf(...) is more ef...
Using java.lang.Boolean.valueOf(...) is more efficent than new
java.lang.Boolean(...).
Diffstat (limited to 'src/library/scala/Console.scala')
-rw-r--r-- | src/library/scala/Console.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/library/scala/Console.scala b/src/library/scala/Console.scala index 53f7be09ee..6b2266782b 100644 --- a/src/library/scala/Console.scala +++ b/src/library/scala/Console.scala @@ -317,7 +317,7 @@ object Console { val iter = s.elements while (iter.hasNext) { res(i) = iter.next match { - case x: Boolean => new java.lang.Boolean(x) + case x: Boolean => java.lang.Boolean.valueOf(x) case x: Byte => new java.lang.Byte(x) case x: Short => new java.lang.Short(x) case x: Char => new java.lang.Character(x) |