diff options
author | Martin Odersky <odersky@gmail.com> | 2016-10-06 16:19:10 +0200 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2016-10-12 03:36:57 +0200 |
commit | a9be90cc3a510afb801c5e288ef54b83302ee064 (patch) | |
tree | f553111449721e2c663abb7b6a4f9e5633a230a9 /src/dotty/tools | |
parent | bafc0a397e28c6e46619f413c9a5648026eac303 (diff) | |
download | dotty-a9be90cc3a510afb801c5e288ef54b83302ee064.tar.gz dotty-a9be90cc3a510afb801c5e288ef54b83302ee064.tar.bz2 dotty-a9be90cc3a510afb801c5e288ef54b83302ee064.zip |
Change type inheritance diagram
to account for the fact the GenericTypes are now TypeProxies.
Diffstat (limited to 'src/dotty/tools')
-rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index 8548a517e..30bffd2eb 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -61,14 +61,14 @@ object Types { * | +- ExprType * | +- AnnotatedType * | +- TypeVar + * | +- GenericType ----+- PolyType + * | +- TypeLambda * | * +- GroundType -+- AndType * +- OrType * +- MethodType -----+- ImplicitMethodType * | +- JavaMethodType * +- ClassInfo - * +- GenericType ----+- PolyType - * | +- TypeLambda * | * +- NoType * +- NoPrefix |