diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-02-01 19:37:39 +0100 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2017-02-01 19:37:39 +0100 |
commit | e64c2e2d01cf30fe843fa3d4eff977c8b1ecccc4 (patch) | |
tree | 666cddc172ff213008e5841ace6dc62acf7e26b0 /compiler/src/dotty/tools/dotc/core/Types.scala | |
parent | dbbb7a3d9a668bbb8b62bec38f065f2444dacb91 (diff) | |
download | dotty-e64c2e2d01cf30fe843fa3d4eff977c8b1ecccc4.tar.gz dotty-e64c2e2d01cf30fe843fa3d4eff977c8b1ecccc4.tar.bz2 dotty-e64c2e2d01cf30fe843fa3d4eff977c8b1ecccc4.zip |
Add position based error reporting to dottydoc
Diffstat (limited to 'compiler/src/dotty/tools/dotc/core/Types.scala')
-rw-r--r-- | compiler/src/dotty/tools/dotc/core/Types.scala | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala index 636204f64..ae9122853 100644 --- a/compiler/src/dotty/tools/dotc/core/Types.scala +++ b/compiler/src/dotty/tools/dotc/core/Types.scala @@ -41,9 +41,11 @@ object Types { implicit def eqType: Eq[Type, Type] = Eq - /** The class of types. + /** Main class representing types. + * * The principal subclasses and sub-objects are as follows: * + * ```none * Type -+- ProxyType --+- NamedType ----+--- TypeRef * | | \ * | +- SingletonType-+-+- TermRef @@ -74,6 +76,7 @@ object Types { * +- NoPrefix * +- ErrorType * +- WildcardType + * ``` * * Note: please keep in sync with copy in `docs/docs/internals/type-system.md`. */ |