diff options
Diffstat (limited to 'src/library')
-rw-r--r-- | src/library/scala/util/parsing/combinator/lexical/Scanners.scala | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/library/scala/util/parsing/combinator/lexical/Scanners.scala b/src/library/scala/util/parsing/combinator/lexical/Scanners.scala index 8585b4d677..ff17ea7f63 100644 --- a/src/library/scala/util/parsing/combinator/lexical/Scanners.scala +++ b/src/library/scala/util/parsing/combinator/lexical/Scanners.scala @@ -57,8 +57,15 @@ trait Scanners extends Parsers with Tokens { token(in1) match { case Success(tok, in2) => Triple(tok, in1, in2) case ns: NoSuccess => Triple(errorToken(ns.msg), ns.next, skip(ns.next)) + case Failure(_, in2) => error("internal error") + case Error(_, in2) => error("internal error") } - case ns: NoSuccess => Triple(errorToken(ns.msg), ns.next, skip(ns.next)) + case ns: NoSuccess => + Triple(errorToken(ns.msg), ns.next, skip(ns.next)) + case Failure(_, in1) => + error("internal error") + case Error(_, in1) => + error("internal error") } private def skip(in: Reader[Char]) = if (in.atEnd) in else in.rest |