wip

Author: DedSec256

src/Compiler/AbstractIL/il.fs

@@ -2745,7 +2745,7 @@ type ILTypeDef
             ?name,
             ?attributes,
             ?layout,
-            ?newImplements,
+            ?implements,
             ?genericParams,
             ?extends,
             ?methods,
@@ -2764,7 +2764,7 @@ type ILTypeDef
             layout = defaultArg layout x.Layout,
             genericParams = defaultArg genericParams x.GenericParams,
             nestedTypes = defaultArg nestedTypes x.NestedTypes,
-            implements = defaultArg newImplements implements,
+            implements = defaultArg implements x.Implements,
             extends = defaultArg extends x.Extends,
             methods = defaultArg methods x.Methods,
             securityDecls = defaultArg securityDecls x.SecurityDecls,

src/Compiler/AbstractIL/il.fsi

@@ -1615,7 +1615,7 @@ type ILTypeDef =
         ?name: string *
         ?attributes: TypeAttributes *
         ?layout: ILTypeDefLayout *
-        ?newImplements: InterruptibleLazy<InterfaceImpl list> *
+        ?implements: InterruptibleLazy<InterfaceImpl list> *
         ?genericParams: ILGenericParameterDefs *
         ?extends: ILType option *
         ?methods: ILMethodDefs *

src/Compiler/AbstractIL/ilmorph.fs

@@ -374,7 +374,7 @@ let rec tdef_ty2ty_ilmbody2ilmbody_mdefs2mdefs isInKnownSet enc fs (tdef: ILType
         |> InterruptibleLazy.FromValue
 
     tdef.With(
-        newImplements = implements,
+        implements = implements,
         genericParams = gparams_ty2ty fTyInCtxtR tdef.GenericParams,
         extends = Option.map fTyInCtxtR tdef.Extends,
         methods = mdefsR,

src/Compiler/CodeGen/EraseClosures.fs

@@ -766,7 +766,7 @@ let rec convIlxClosureDef cenv encl (td: ILTypeDef) clo =
 
             let cloTypeDef =
                 td.With(
-                    newImplements = td.Implements,
+                    implements = td.Implements,
                     extends =
                         (match td.Extends with
                          | None -> Some cenv.ilg.typ_Object