Provided Types virtualization (#2)

Author: DedSec256

src/Compiler/Checking/CheckDeclarations.fs

@@ -3049,7 +3049,7 @@ module EstablishTypeDefinitionCores =
             let ctxt = ProvidedTypeContext.Create(lookupILTypeRef, lookupTyconRef)
 
             // Create a new provided type which captures the reverse-remapping tables.
-            let theRootTypeWithRemapping = theRootType.PApply ((fun x -> ProvidedType.ApplyContext(x, ctxt)), m)
+            let theRootTypeWithRemapping = theRootType.PApply ((fun x -> x.ApplyContext(ctxt)), m)
 
             let isRootGenerated, rootProvAssemStaticLinkInfoOpt = 
                 let stRootAssembly = theRootTypeWithRemapping.PApply((fun st -> st.Assembly), m)

src/Compiler/Driver/CompilerImports.fs

@@ -1997,13 +1997,7 @@ and [<Sealed>] TcImports
                             // NOTE: The types provided by GetTypes() are available for name resolution
                             // when the namespace is "opened". This is part of the specification of the language
                             // feature.
-                            let tys =
-                                providedNamespace.PApplyArray((fun provider -> provider.GetTypes()), "GetTypes", m)
-
-                            let ptys =
-                                [|
-                                    for ty in tys -> ty.PApply((fun ty -> ty |> ProvidedType.CreateNoContext), m)
-                                |]
+                            let ptys = providedNamespace.PApplyArray(GetProvidedTypes, "GetTypes", m)
 
                             for st in ptys do
                                 tcImportsStrong.InjectProvidedNamespaceOrTypeIntoEntity(