diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-06-13 17:35:01 +0200 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-08-19 15:37:26 +0200 |
commit | 82752b2075f4e68c99a6588eacb11d6fdaa03207 (patch) | |
tree | 968dea6aedfad42fe6c6d6be050cbdd74bea93e1 /dottydoc/shared | |
parent | 76bbb8de91990e5bf2344fbf2f06918c860c4c0e (diff) | |
download | dotty-82752b2075f4e68c99a6588eacb11d6fdaa03207.tar.gz dotty-82752b2075f4e68c99a6588eacb11d6fdaa03207.tar.bz2 dotty-82752b2075f4e68c99a6588eacb11d6fdaa03207.zip |
Fix value classes not being documented
Diffstat (limited to 'dottydoc/shared')
-rw-r--r-- | dottydoc/shared/src/main/scala/dotty/tools/dottydoc/model/factories.scala | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/dottydoc/shared/src/main/scala/dotty/tools/dottydoc/model/factories.scala b/dottydoc/shared/src/main/scala/dotty/tools/dottydoc/model/factories.scala index ff4cc52fe..b95b0637c 100644 --- a/dottydoc/shared/src/main/scala/dotty/tools/dottydoc/model/factories.scala +++ b/dottydoc/shared/src/main/scala/dotty/tools/dottydoc/model/factories.scala @@ -109,6 +109,12 @@ object factories { def filteredName(str: String) = str .replaceAll("\\$colon", ":") .replaceAll("\\$plus", "+") + .replaceAll("\\$minus", "-") .replaceAll("\\$less", "<") + .replaceAll("\\$greater", ">") .replaceAll("\\$eq", "=") + .replaceAll("\\$bang", "!") + .replaceAll("\\$amp", "&") + .replaceAll("\\$bar", "|") + .replaceAll("\\$up", "^") } |