anchor.diff:              let! (mspec,_) = TcModuleOrNamespaceSignature cenv env (id,true,mdefs,xml,attribs,vis,m)
               let scopem = unionRanges m endm
               PublishModuleDefn cenv env mspec; 
  -            let env = AddLocalSubModule cenv.tcSink cenv.g cenv.amap m scopem env mspec
  +            let env = AddLocalSubModuleAndReport cenv.tcSink cenv.g cenv.amap m scopem env mspec
               return env
               
           | SynModuleSigDecl.ModuleAbbrev (id,p,m) -> 
  
positive.code:         let defnsEs = 
              defnsDs |> MutRecShapes.map 
                  (fun (tyconOpt, fixupValueExprBinds, methodBinds) -> 
                      let fixedBinds = EliminateInitializationGraphs cenv.g true denv fixupValueExprBinds bindsm
                      tyconOpt, fixedBinds @ methodBinds)
                  (fun (fixupValueExprBinds) -> 
                      EliminateInitializationGraphs cenv.g true denv fixupValueExprBinds bindsm)
                  id
          
          defnsEs,envMutRec
  
negative.code:                             ()
                    ]
               //printfn "allTypes.Length = %d" allTypes.Length
               let unsolvedTypars = freeInTypesLeftToRight g true allTypes
               //printfn "unsolvedTypars.Length = %d" unsolvedTypars.Length
               //for x in unsolvedTypars do 
               //    printfn "unsolvedTypar : %s #%d" x.DisplayName x.Stamp
  