anchor.diff:          let innerParent = Parent (mkLocalModRef mspec)
           MutRecDefnsPhase2DataForModule (mtypeAcc, mspec), innerParent
       
  -    let TcTypeDefnCores cenv envInitial parent inSig tpenv (typeDefCores:MutRecShape<MutRecDefnsPhase1DataForTycon * 'MemberInfo, 'LetInfo, SynComponentInfo,_> list, m, scopem) =
  -
  -        // First define the type constructors and the abbreviations, if any.  Skip augmentations.
  -        let withTycons = 
  +
  +
  +    let TcMutRecDefns_Phase1 cenv envInitial parent inSig tpenv (typeDefCores:MutRecShape<MutRecDefnsPhase1DataForTycon * 'MemberInfo, 'LetInfo, SynComponentInfo,_> list, m, scopem) =
  +
  +        // Phase 1A - build Entity for type definitions, exception definitions and module definitions.
  +        // Also for abbreviations of any of these.  Augmentations are skipped in this phase.
  +        let withEntities = 
               typeDefCores 
               |> MutRecShapes.mapWithParent 
                    parent 
  
positive.code:     | SynMemberSig.Member(valSpfn,memberFlags,_) -> 
          TcAndPublishValSpec (cenv,env,containerInfo,declKind,Some memberFlags,tpenv,valSpfn)
      | SynMemberSig.Interface _ -> 
          // These are done in TcTypeDefnCores
          [],tpenv
  
    
  
negative.code: 
      let TcTyconSignatures cenv env parent tpenv (tspecs:MutRecSignatureInitialData,m,scopem) =
          let mutRecDefnsAfterSplit = SplitMutRecSignatures tspecs
          let _tycons, envMutRec, mutRecDefnsAfterCore = EstablishTypeDefinitionCores.TcMutRecDefns_Phase1 cenv env parent true tpenv (mutRecDefnsAfterSplit,m,scopem)
          let _ = TcTyconSignatureMemberSpecs cenv parent envMutRec mutRecDefnsAfterCore
          envMutRec
  end
  