code review PR #245

Author: pgrandjean

shared/src/main/scala/scala/util/parsing/combinator/Parsers.scala

@@ -795,27 +795,26 @@ trait Parsers {
   /** A parser generator for a specified range of repetitions interleaved by a
    * separator.
    *
-   *  `repN(n, m, p, s)` uses `p` at least `m` times and up to `n` times, interleaved
+   *  `repNM(n, m, p, s)` uses `p` at least `n` times and up to `m` times, interleaved
    *  with separator `s`, to parse the input
-   *  (the result is a `List` of at least `m` consecutive results of `p` and up to `n` results).
+   *  (the result is a `List` of at least `n` consecutive results of `p` and up to `m` results).
    *
-   * @param m   minimum number of repetitions
-   * @param n   maximum number of repetitions
+   * @param n   minimum number of repetitions
+   * @param m   maximum number of repetitions
    * @param p   a `Parser` that is to be applied successively to the input
    * @param sep a `Parser` that interleaves with p
    * @return    A parser that returns a list of results produced by repeatedly applying `p` interleaved
-   *            with `sep` to the input. The list has a size between `m` and up to `n`
+   *            with `sep` to the input. The list has a size between `n` and up to `m`
    *            (and that only succeeds if `p` matches at least `n` times).
    */
-  def repMN[T](m: Int, n: Int, p: Parser[T], sep: Parser[Any]): Parser[List[T]] = Parser { in =>
-    require(0 <= m && m <= n)
-    val mandatory = if (m == 0) success(Nil) else (p ~ repN(m - 1, sep ~> p)).map { case head ~ tail => head :: tail }
+  def repNM[T](n: Int, m: Int, p: Parser[T], sep: Parser[Any]): Parser[List[T]] = Parser { in =>
+    val mandatory = if (n == 0) success(Nil) else (p ~ repN(n - 1, sep ~> p)).map { case head ~ tail => head :: tail }
     val elems = new ListBuffer[T]
 
     def continue(in: Input): ParseResult[List[T]] = {
       val p0 = sep ~> p // avoid repeatedly re-evaluating by-name parser
       @tailrec def applyp(in0: Input): ParseResult[List[T]] = p0(in0) match {
-        case Success(x, rest) => elems += x; if (elems.length == n) Success(elems.toList, rest) else applyp(rest)
+        case Success(x, rest) => elems += x; if (elems.length == m) Success(elems.toList, rest) else applyp(rest)
         case e @ Error(_, _) => e // still have to propagate error
         case _ => Success(elems.toList, in0)
       }
@@ -831,17 +830,17 @@ trait Parsers {
 
   /** A parser generator for a specified range of repetitions.
    *
-   *  `repN(n, m, p)` uses `p` at least `m` times and up to `n` times to parse the input
-   *  (the result is a `List` of at least `m` consecutive results of `p` and up to `n` results).
+   *  `repNM(n, m, p)` uses `p` at least `n` times and up to `m` times to parse the input
+   *  (the result is a `List` of at least `n` consecutive results of `p` and up to `m` results).
    *
-   * @param m   minimum number of repetitions
-   * @param n   maximum number of repetitions
+   * @param n   minimum number of repetitions
+   * @param m   maximum number of repetitions
    * @param p   a `Parser` that is to be applied successively to the input
    * @return    A parser that returns a list of results produced by repeatedly applying `p` to the input.
-   *            The list has a size between `m` and up to `n`
+   *            The list has a size between `n` and up to `m`
    *            (and that only succeeds if `p` matches at least `n` times).
    */
-  def repMN[T](m: Int, n: Int, p: Parser[T]): Parser[List[T]] = repMN[T](m, n, p, success(()))
+  def repNM[T](n: Int, m: Int, p: Parser[T]): Parser[List[T]] = repNM[T](n, m, p, success(()))
 
   /** A parser generator for non-empty repetitions.
    *

shared/src/test/scala/scala/util/parsing/combinator/gh242.scala

@@ -7,12 +7,12 @@ import scala.util.parsing.input.CharSequenceReader
 class gh242 {
   class TestWithSeparator extends Parsers {
     type Elem = Char
-    val csv: Parser[List[Char]] = repMN(5, 10, 'a', ',')
+    val csv: Parser[List[Char]] = repNM(5, 10, 'a', ',')
   }
 
   class TestWithoutSeparator extends Parsers {
     type Elem = Char
-    val csv: Parser[List[Char]] = repMN(5, 10, 'a')
+    val csv: Parser[List[Char]] = repNM(5, 10, 'a')
   }
 
   @Test