diff options
author | michelou <michelou@epfl.ch> | 2007-04-19 15:45:58 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2007-04-19 15:45:58 +0000 |
commit | a87d9a20e00c4951b774976ef2350d11be764b3d (patch) | |
tree | f92af868f6e5c67210646a72eb7b9f688ab0f0ab /src/dotnet-library | |
parent | 28edfc11090d9075200dcdd47227b4f067284f9a (diff) | |
download | scala-a87d9a20e00c4951b774976ef2350d11be764b3d.tar.gz scala-a87d9a20e00c4951b774976ef2350d11be764b3d.tar.bz2 scala-a87d9a20e00c4951b774976ef2350d11be764b3d.zip |
updated for-comprehension syntax
Diffstat (limited to 'src/dotnet-library')
-rw-r--r-- | src/dotnet-library/scala/runtime/RichString.scala | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/dotnet-library/scala/runtime/RichString.scala b/src/dotnet-library/scala/runtime/RichString.scala index 0e0fc90ab1..1073acfe07 100644 --- a/src/dotnet-library/scala/runtime/RichString.scala +++ b/src/dotnet-library/scala/runtime/RichString.scala @@ -1,7 +1,7 @@ /* __ *\ ** ________ ___ / / ___ Scala API ** -** / __/ __// _ | / / / _ | (c) 2002-2006, LAMP/EPFL ** -** __\ \/ /__/ __ |/ /__/ __ | ** +** / __/ __// _ | / / / _ | (c) 2002-2007, LAMP/EPFL ** +** __\ \/ /__/ __ |/ /__/ __ | http://scala-lang.org/ ** ** /____/\___/_/ |_/____/_/ | | ** ** |/ ** \* */ @@ -83,8 +83,8 @@ final class RichString(val self: String) extends Proxy with Seq[Char] with Order def next(): String = { if (index >= len) throw new NoSuchElementException("next on empty iterator") val start = index - while (index < len && !isLineBreak(apply(index))) index = index + 1 - index = index + 1 + while (index < len && !isLineBreak(apply(index))) index += 1 + index += 1 self.substring(start, index min len) } } @@ -113,10 +113,10 @@ final class RichString(val self: String) extends Proxy with Seq[Char] with Order */ def stripMargin(marginChar: Char): String = { val buf = new scala.compat.StringBuilder() - for (val line <- linesWithSeparators) { + for (line <- linesWithSeparators) { val len = line.length - var index = 0; - while (index < len && line.charAt(index) <= ' ') index = index + 1 + var index = 0 + while (index < len && line.charAt(index) <= ' ') index += 1 buf append (if (index < len && line.charAt(index) == marginChar) line.substring(index + 1) else line) } |