We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Please see code below. It does not terminate even though the expected result is to stop applying rep when reader is depleted.
import scala.io.Source import scala.util.parsing.combinator.Parsers import scala.util.parsing.input.Reader import scala.util.parsing.input.Position object DemoApp extends App { val parsers = new DemoParsers val reader = new DemoReader(10) val result = parsers.startsWith("s").*(reader) Console println result } class DemoReader(n: Int) extends Reader[String] { def atEnd = n == 0 def first = "s" + n def rest = new DemoReader(n - 1) def pos = new Position { def line = 0; def column = 0; def lineContents = first } } class DemoParsers extends Parsers { type Elem = String def startsWith(prefix: String) = acceptIf(_ startsWith prefix)("Error: " + _) }
The text was updated successfully, but these errors were encountered:
Imported From: https://issues.scala-lang.org/browse/SI-5514?orig=1 Reporter: Tymur Porkuian (fixpoint) Affected Versions: 2.9.1
Sorry, something went wrong.
axel22
No branches or pull requests
Please see code below. It does not terminate even though the expected result is to stop applying rep when reader is depleted.
The text was updated successfully, but these errors were encountered: