anchor.diff:  
                 // Glue all this stuff into ilxMainModule 
                 let ilxMainModule, rewriteExternalRefsToLocalRefs = 
  -                  StaticLinkILModules (tcConfig, ilGlobals, ilxMainModule, dependentILModules @ providerGeneratedILModules)
  -              
  +                  StaticLinkILModules (tcConfig, ilGlobals, tcImports, ilxMainModule, dependentILModules @ providerGeneratedILModules)
  +
                 // Rewrite type and assembly references
                 let ilxMainModule =
                     let isMscorlib = ilGlobals.primaryAssemblyName = PrimaryAssembly.Mscorlib.Name
  
positive.code: open FSharp.Compiler.AbstractIL.Internal 
  open FSharp.Compiler.AbstractIL.Internal.Library 
  open FSharp.Compiler.AbstractIL.Diagnostics
  open FSharp.Compiler.IlxGen
  
  open FSharp.Compiler.AccessibilityLogic
  open FSharp.Compiler.AttributeChecking
  open FSharp.Compiler.Ast
  
negative.code:                    (mkILMethods (topTypeDefs |> List.collect (fun td -> td.Methods.AsList)), 
                      mkILFields (topTypeDefs |> List.collect (fun td -> td.Fields.AsList)))
  
              let ilxMainModule =
                  let main =
                      { ilxMainModule with
                          Manifest = (let m = ilxMainModule.ManifestOfAssembly in Some {m with CustomAttrsStored = storeILCustomAttrs (mkILCustomAttrs (m.CustomAttrs.AsList @ savedManifestAttrs)) })
                          CustomAttrsStored = storeILCustomAttrs (mkILCustomAttrs [ for m in moduls do yield! m.CustomAttrs.AsArray ])
                          TypeDefs = mkILTypeDefs (topTypeDef :: List.concat normalTypeDefs)
                          Resources = mkILResources (savedResources @ ilxMainModule.Resources.AsList)
                          NativeResources = savedNativeResources }
                  Morphs.morphILTypeRefsInILModuleMemoized ilGlobals typeForwarding.TypeForwardILTypeRef main
  
              ilxMainModule, rewriteExternalRefsToLocalRefs
  
  