Thanks Fantomas

Author: psfinaki

src/Compiler/Checking/CheckIncrementalClasses.fsi

@@ -12,16 +12,16 @@ open FSharp.Compiler.Xml
 
 exception ParameterlessStructCtor of range: range
 
-/// Typechecked info for implicit constructor and it's arguments 
-type IncrClassCtorLhs = 
+/// Typechecked info for implicit constructor and it's arguments
+type IncrClassCtorLhs =
     {
         /// The TyconRef for the type being defined
         TyconRef: TyconRef
 
-        /// The type parameters allocated for the implicit instance constructor. 
-        /// These may be equated with other (WillBeRigid) type parameters through equi-recursive inference, and so 
+        /// The type parameters allocated for the implicit instance constructor.
+        /// These may be equated with other (WillBeRigid) type parameters through equi-recursive inference, and so
         /// should always be renormalized/canonicalized when used.
-        InstanceCtorDeclaredTypars: Typars     
+        InstanceCtorDeclaredTypars: Typars
 
         /// The value representing the static implicit constructor.
         /// Lazy to ensure the static ctor value is only published if needed.
@@ -32,7 +32,7 @@ type IncrClassCtorLhs =
 
         /// The type of the implicit constructor, representing as a ValScheme.
         InstanceCtorValScheme: ValScheme
-        
+
         /// The values representing the arguments to the implicit constructor.
         InstanceCtorArgs: Val list
 
@@ -54,84 +54,84 @@ type IncrClassCtorLhs =
     }
 
 /// Indicates how is a 'let' bound value in a class with implicit construction is represented in
-/// the TAST ultimately produced by type checking.    
-type IncrClassValRepr = 
+/// the TAST ultimately produced by type checking.
+type IncrClassValRepr =
 
     // e.g representation for 'let v = 3' if it is not used in anything given a method representation
-    | InVar of isArg: bool 
+    | InVar of isArg: bool
 
     // e.g representation for 'let v = 3'
     | InField of isStatic: bool * staticCountForSafeInit: int * fieldRef: RecdFieldRef
 
     // e.g representation for 'let f x = 3'
-    | InMethod of isStatic:bool * value: Val * valReprInfo: ValReprInfo
+    | InMethod of isStatic: bool * value: Val * valReprInfo: ValReprInfo
 
 /// IncrClassReprInfo represents the decisions we make about the representation of 'let' and 'do' bindings in a
 /// type defined with implicit class construction.
-type IncrClassReprInfo = 
-    { 
+type IncrClassReprInfo =
+    {
         /// Indicates the set of field names taken within one incremental class
         TakenFieldNames: Set<string>
-          
+
         RepInfoTcGlobals: TcGlobals
-          
+
         /// vals mapped to representations
-        ValReprs: Zmap<Val, IncrClassValRepr> 
-          
-        /// vals represented as fields or members from this point on 
-        ValsWithRepresentation: Zset<Val> 
+        ValReprs: Zmap<Val, IncrClassValRepr>
+
+        /// vals represented as fields or members from this point on
+        ValsWithRepresentation: Zset<Val>
     }
 
     static member IsMethodRepr: cenv: TcFileState -> bind: Binding -> bool
 
-    // Publish the fields of the representation to the type 
-    member PublishIncrClassFields: 
-        cenv : TcFileState * 
-        denv : DisplayEnv * 
-        cpath : CompilationPath * 
-        ctorInfo: IncrClassCtorLhs * 
-        safeStaticInitInfo : SafeInitData 
-          -> unit    
+    // Publish the fields of the representation to the type
+    member PublishIncrClassFields:
+        cenv: TcFileState *
+        denv: DisplayEnv *
+        cpath: CompilationPath *
+        ctorInfo: IncrClassCtorLhs *
+        safeStaticInitInfo: SafeInitData ->
+            unit
 
     /// Given localRep saying how locals have been represented, e.g. as fields.
     /// Given an expr under a given thisVal context.
-    member FixupIncrClassExprPhase2C: 
-        cenv : TcFileState -> 
-        thisValOpt : Val option -> 
-        safeStaticInitInfo : SafeInitData -> 
-        thisTyInst: TypeInst -> 
-        expr : Expr -> 
-        Expr 
+    member FixupIncrClassExprPhase2C:
+        cenv: TcFileState ->
+        thisValOpt: Val option ->
+        safeStaticInitInfo: SafeInitData ->
+        thisTyInst: TypeInst ->
+        expr: Expr ->
+            Expr
 
 /// Represents a single group of bindings in a class with an implicit constructor
-type IncrClassBindingGroup = 
-    | IncrClassBindingGroup of bindings: Binding list * isStatic: bool* isRecursive: bool
-    | IncrClassDo of expr: Expr * isStatic: bool * range: Range 
+type IncrClassBindingGroup =
+    | IncrClassBindingGroup of bindings: Binding list * isStatic: bool * isRecursive: bool
+    | IncrClassDo of expr: Expr * isStatic: bool * range: Range
 
 type IncrClassConstructionBindingsPhase2C =
     | Phase2CBindings of IncrClassBindingGroup list
-    | Phase2CCtorJustAfterSuperInit     
+    | Phase2CCtorJustAfterSuperInit
     | Phase2CCtorJustAfterLastLet
 
-/// Check and elaborate the "left hand side" of the implicit class construction 
+/// Check and elaborate the "left hand side" of the implicit class construction
 /// syntax.
-val TcImplicitCtorLhs_Phase2A: 
-    cenv: TcFileState * 
-    env: TcEnv * 
-    tpenv: UnscopedTyparEnv * 
-    tcref: TyconRef * 
-    vis: SynAccess option * 
-    attrs : SynAttribute list * 
-    spats : SynSimplePat list * 
-    thisIdOpt : Ident option * 
-    baseValOpt: Val option * 
-    safeInitInfo : SafeInitData * 
-    m : range * 
-    copyOfTyconTypars : Typar list * 
-    objTy : TType * 
-    thisTy : TType * 
-    xmlDoc: PreXmlDoc 
-      -> IncrClassCtorLhs
+val TcImplicitCtorLhs_Phase2A:
+    cenv: TcFileState *
+    env: TcEnv *
+    tpenv: UnscopedTyparEnv *
+    tcref: TyconRef *
+    vis: SynAccess option *
+    attrs: SynAttribute list *
+    spats: SynSimplePat list *
+    thisIdOpt: Ident option *
+    baseValOpt: Val option *
+    safeInitInfo: SafeInitData *
+    m: range *
+    copyOfTyconTypars: Typar list *
+    objTy: TType *
+    thisTy: TType *
+    xmlDoc: PreXmlDoc ->
+        IncrClassCtorLhs
 
 /// <summary>
 /// Given a set of 'let' bindings (static or not, recursive or not) that make up a class,
@@ -150,9 +150,10 @@ val MakeCtorForIncrClassConstructionPhase2C:
     cenv: TcFileState *
     env: TcEnv *
     ctorInfo: IncrClassCtorLhs *
-    inheritsExpr : Expr *
-    inheritsIsVisible : bool *
+    inheritsExpr: Expr *
+    inheritsIsVisible: bool *
     decs: IncrClassConstructionBindingsPhase2C list *
     memberBinds: Binding list *
-    generalizedTyparsForRecursiveBlock : Typar list *
-    safeStaticInitInfo: SafeInitData -> Expr * Expr option * Binding list * IncrClassReprInfo
+    generalizedTyparsForRecursiveBlock: Typar list *
+    safeStaticInitInfo: SafeInitData ->
+        Expr * Expr option * Binding list * IncrClassReprInfo