diff options
| author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-04-09 17:26:10 +0200 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-04-09 17:26:10 +0200 |
| commit | d7c44086cc34eee7991753fc2ea284bdefed9670 (patch) | |
| tree | f1b3461a042df1b7c65628ae57d7c1a613718cb8 /src/dotty/tools/dotc/parsing/MarkupParsers.scala | |
| parent | 9f80c0d2e87819f183cf54028824bd338d780dcd (diff) | |
| download | dotty-d7c44086cc34eee7991753fc2ea284bdefed9670.tar.gz dotty-d7c44086cc34eee7991753fc2ea284bdefed9670.tar.bz2 dotty-d7c44086cc34eee7991753fc2ea284bdefed9670.zip | |
Add spaces around + in dotty source.
Diffstat (limited to 'src/dotty/tools/dotc/parsing/MarkupParsers.scala')
| -rw-r--r-- | src/dotty/tools/dotc/parsing/MarkupParsers.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/parsing/MarkupParsers.scala b/src/dotty/tools/dotc/parsing/MarkupParsers.scala index bcedd5bca..f648b9e2c 100644 --- a/src/dotty/tools/dotc/parsing/MarkupParsers.scala +++ b/src/dotty/tools/dotc/parsing/MarkupParsers.scala @@ -394,7 +394,7 @@ object MarkupParsers { op } if (parser.in.token != RBRACE) - reportSyntaxError(" expected end of Scala "+kind) + reportSyntaxError(" expected end of Scala " + kind) res } @@ -450,7 +450,7 @@ object MarkupParsers { case _ => // text appendText(Position(start1, curOffset, start1), ts, xText) // here xEmbeddedBlock might be true: - // if (xEmbeddedBlock) throw new ApplicationError("after:"+text); // assert + // if (xEmbeddedBlock) throw new ApplicationError("after:" + text); // assert } true } |