wip

dotnet · Aug 21, 2024 · b08e2ca · b08e2ca
1 parent 8019a0f
commit b08e2ca
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/src/Compiler/AbstractIL/il.fs b/src/Compiler/AbstractIL/il.fs
@@ -2744,7 +2744,7 @@ type ILTypeDef
             ?name,
             ?attributes,
             ?layout,
-            ?newImplements,
+            ?implements,
             ?genericParams,
             ?extends,
             ?methods,
@@ -2763,7 +2763,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,

diff --git a/src/Compiler/AbstractIL/il.fsi b/src/Compiler/AbstractIL/il.fsi
@@ -1612,7 +1612,7 @@ type ILTypeDef =
         ?name: string *
         ?attributes: TypeAttributes *
         ?layout: ILTypeDefLayout *
-        ?newImplements: InterruptibleLazy<InterfaceImpl list> *
+        ?implements: InterruptibleLazy<InterfaceImpl list> *
         ?genericParams: ILGenericParameterDefs *
         ?extends: ILType option *
         ?methods: ILMethodDefs *

diff --git a/src/Compiler/AbstractIL/ilmorph.fs b/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,

diff --git a/src/Compiler/CodeGen/EraseClosures.fs b/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