diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/files/run/t5514.check | 19 | ||||
-rw-r--r-- | test/files/run/t5514.scala (renamed from test/pending/run/t5514.scala) | 22 |
2 files changed, 30 insertions, 11 deletions
diff --git a/test/files/run/t5514.check b/test/files/run/t5514.check new file mode 100644 index 0000000000..c68f7c9029 --- /dev/null +++ b/test/files/run/t5514.check @@ -0,0 +1,19 @@ +constructed reader: 10 +constructed reader: 9 +constructed reader: 8 +constructed reader: 7 +constructed reader: 6 +constructed reader: 5 +constructed reader: 4 +constructed reader: 3 +constructed reader: 2 +constructed reader: 1 +constructed reader: 0 +[0.0] parsed: List(s10, s9, s8, s7, s6, s5, s4, s3, s2, s1) +constructed reader: 10 +constructed reader: 9 +constructed reader: 8 +constructed reader: 7 +constructed reader: 6 +constructed reader: 5 +[0.0] parsed: List(s10, s9, s8, s7, s6)
\ No newline at end of file diff --git a/test/pending/run/t5514.scala b/test/files/run/t5514.scala index eacad21cd8..efd5ba6cb9 100644 --- a/test/pending/run/t5514.scala +++ b/test/files/run/t5514.scala @@ -8,28 +8,28 @@ 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 first = if (n >= 0) "s" + n else throw new IllegalArgumentException("No more input.") def rest = new DemoReader(n - 1) def pos = new Position { def line = 0 def column = 0 def lineContents = first } - println("reader: " + n) + println("constructed reader: " + n) } -class DemoParsers extends Parsers { +object Test extends App with Parsers { type Elem = String def startsWith(prefix: String) = acceptIf(_ startsWith prefix)("Error: " + _) + + val resrep = startsWith("s").*(new DemoReader(10)) + Console println resrep + + val resrep5 = repN(5, startsWith("s"))(new DemoReader(10)) + Console println resrep5 } + + |