added / updated some documentation

1 files changed, 43 insertions, 30 deletions

diff --git a/docs/development/scala.tools.nsc/nscTypes.dot b/docs/development/scala.tools.nsc/nscTypes.dot
index 8e4e531aa6..86adc12faa 100644
--- a/docs/development/scala.tools.nsc/nscTypes.dot
+++ b/docs/development/scala.tools.nsc/nscTypes.dot
@@ -4,70 +4,83 @@ digraph SQLTypes {
   rankdir=BT
   rank=max
   ratio=compress
-  
+
   node [shape = record]
-  
+
   Type
-  
+
+  SimpleTypeProxy -> Type
+
+  RewrappingTypeProxy -> SimpleTypeProxy
+
   SubType -> Type
-  
+
+  NotNullType -> SubType
+
   SingletonType -> SubType
-  
+
   ErrorType -> Type
-  
+
   WildcardType -> Type
-  
+
+  BoundedWildcardType -> Type
+
   NoType -> Type
-  
+
   NoPrefix -> Type
-  
+
+  DeBruijnIndex -> Type
+
   ThisType [label = "{ThisType|sym: Symbol}"]
   ThisType -> SingletonType
-  
+
   SingleType [label = "{SingleType|pre: Type\nsym: Symbol}"]
   SingleType -> SingletonType
-  
+
   SuperType [label = "{SuperType|thistpe: Type\nsupertp: Type}"]
   SuperType -> SingletonType
-  
+
   TypeBounds [label = "{TypeBounds|lo: Type\nhi: Type}"]
   TypeBounds -> SubType
-  
+
   CompoundType -> Type
-  
+
   RefinedType[label = "{RefinedType|parents: List[Type]\ndecls: Scope}"]
   RefinedType -> CompoundType
-  
+
   ClassInfoType[label = "{ClassInfoType|parents: List[Type]\ndecls: Scope\nsymbol: Symbol}"]
   ClassInfoType -> CompoundType
-  
-  PackageClassInfoType[label = "{PackageClassInfoType|decls: Scope\nclazz: Symbol}"]
+
+  PackageClassInfoType[label = "{PackageClassInfoType|decls: Scope\nclazz: Symbol\nloader: LazyType}"]
   PackageClassInfoType -> ClassInfoType
-  
+
   ConstantType[label = "{ConstantType|value: Constant}"]
   ConstantType -> SingletonType
-  
+
   TypeRef[label = "{TypeRef|pre: Type\nsym: Symbol\nargs: List[Type]}"]
   TypeRef -> Type
-  
+
   MethodType[label = "{MethodType|paramTypes: List[Type]\nresultType: Type}"]
   MethodType -> Type
-  
+
+  ImplicitMethodType[label = "{MethodType|pts: List[Type]\nrt: Type}"]
+  ImplicitMethodType -> MethodType
+
+  JavaMethodType[label = "{MethodType|pts: List[Type]\nrt: Type}"]
+  JavaMethodType -> MethodType
+
   PolyType[label = "{PolyType|typeParams: List[Symbol]\nresultType: Type}"]
   PolyType -> Type
-  
+
   OverloadedType[label = "{OverloadedType|pre: Type\nalternatives: List[Symbol]}"]
   OverloadedType -> Type
-  
+
   AntiPolyType[label = "{AntiPolyType|pre: Type\ntargs: List[Type]}"]
   AntiPolyType -> Type
-  
+
   TypeVar[label = "{TypeVar|origin: Type\nconstr: TypeConstraint}"]
   TypeVar -> Type
-  
+
   LazyType -> Type
-  
-  LazyPolyType[label = "{LazyPolyType|typeParams: List[Symbol]\nrestp: Type}"]
-  LazyPolyType -> LazyType
-  
-}
\ No newline at end of file
+
+}