diff options
| author | Martin Odersky <odersky@gmail.com> | 2008-09-24 14:52:09 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2008-09-24 14:52:09 +0000 |
| commit | a18a545a844b6fbda1905a7884227454851111f7 (patch) | |
| tree | 173c1dad73fce9853595c2205f6bc7b4940a7958 /src/library | |
| parent | 281e26538478260b392dab9878bc8f9b6270d7f4 (diff) | |
| download | scala-a18a545a844b6fbda1905a7884227454851111f7.tar.gz scala-a18a545a844b6fbda1905a7884227454851111f7.tar.bz2 scala-a18a545a844b6fbda1905a7884227454851111f7.zip | |
Fixed #1178
Diffstat (limited to 'src/library')
| -rw-r--r-- | src/library/scala/util/parsing/combinator/RegexParsers.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/library/scala/util/parsing/combinator/RegexParsers.scala b/src/library/scala/util/parsing/combinator/RegexParsers.scala index 38322a419f..87e59f11bd 100644 --- a/src/library/scala/util/parsing/combinator/RegexParsers.scala +++ b/src/library/scala/util/parsing/combinator/RegexParsers.scala @@ -67,6 +67,9 @@ trait RegexParsers extends Parsers { } } + override def phrase[T](p: Parser[T]): Parser[T] = + super.phrase(p <~ opt("""\z""".r)) + /** Parse some prefix of reader `in' with parser `p' */ def parse[T](p: Parser[T], in: Reader[Char]): ParseResult[T] = p(in) |