diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2017-03-01 17:41:48 +0900 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2017-03-01 19:45:39 +0900 |
| commit | 07cdb3d9893385eae6d15d83a7f1e32dd7bbf0a1 (patch) | |
| tree | b67abfa9d90e70c97c9907c6e66276e461937e8c /doc-tool | |
| parent | cc263594951cd901c9d4fcc2ed7aa7956c774e64 (diff) | |
| download | dotty-07cdb3d9893385eae6d15d83a7f1e32dd7bbf0a1.tar.gz dotty-07cdb3d9893385eae6d15d83a7f1e32dd7bbf0a1.tar.bz2 dotty-07cdb3d9893385eae6d15d83a7f1e32dd7bbf0a1.zip | |
Message rendering: colorize positional splice, then split
Diffstat (limited to 'doc-tool')
| -rw-r--r-- | doc-tool/src/dotty/tools/dottydoc/model/comment/CommentParser.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc-tool/src/dotty/tools/dottydoc/model/comment/CommentParser.scala b/doc-tool/src/dotty/tools/dottydoc/model/comment/CommentParser.scala index b7a33a7ef..5ff28f914 100644 --- a/doc-tool/src/dotty/tools/dottydoc/model/comment/CommentParser.scala +++ b/doc-tool/src/dotty/tools/dottydoc/model/comment/CommentParser.scala @@ -6,6 +6,7 @@ import dotty.tools.dottydoc.util.syntax._ import dotty.tools.dotc.util.Positions._ import dotty.tools.dotc.core.Symbols._ import dotty.tools.dotc.core.Contexts.Context +import dotty.tools.dotc.core.Decorators._ import scala.collection.mutable import dotty.tools.dotc.config.Printers.dottydoc import scala.util.matching.Regex @@ -196,7 +197,7 @@ trait CommentParser extends util.MemberLookup { ) for ((key, _) <- bodyTags) ctx.docbase.warn( - s"Tag '@${key.name}' is not recognised", + hl"Tag '${"@" + key.name}' is not recognised", // FIXME: here the position is stretched out over the entire comment, // with the point being at the very end. This ensures that the entire // comment will be visible in error reporting. A more fine-grained |