scala.util.parsing.combinator.Parsers
An extractor so case NoSuccess(msg, next) can be used in matches.
case NoSuccess(msg, next)
Note: On Scala 2.13, using this extractor leads to an exhaustivity warning:
def m(r: ParseResult[Int]) = r match { case Success(i) => ... case NoSuccess(msg, _) => ... // "warning: match may not be exhaustive"
To eliminate this warning, use the irrefutable NoSuccess.I extractor. Due to binary compatibility, NoSuccess itself cannot be changed.
NoSuccess.I
NoSuccess
An irrefutable version of the NoSuccess extractor, used as case NoSuccess.I(msg, next).
case NoSuccess.I(msg, next)
An extractor so
case NoSuccess(msg, next)
can be used in matches.Note: On Scala 2.13, using this extractor leads to an exhaustivity warning:
To eliminate this warning, use the irrefutable
NoSuccess.I
extractor. Due to binary compatibility,NoSuccess
itself cannot be changed.