anchor.diff:  
   
       /// Compute the active environments within each nested module.
  -    let TcMutRecDefns_ComputeEnvs (cenv: cenv) getTyconOpt scopem m envInitial mutRecShape =
  +    let TcMutRecDefns_ComputeEnvs (cenv: cenv) report getTyconOpt scopem m envInitial mutRecShape =
           (envInitial, mutRecShape) ||> MutRecShapes.computeEnvs 
               (fun envAbove (MutRecDefnsPhase2DataForModule (mtypeAcc, mspec)) ->  MakeInnerEnvWithAcc envAbove mspec.Id mtypeAcc mspec.ModuleOrNamespaceType.ModuleOrNamespaceKind)
               (fun envAbove decls -> 
  
positive.code:                             ()
                    ]
               //printfn "allTypes.Length = %d" allTypes.Length
               let unsolvedTypars = freeInTypesLeftToRight cenv.g true allTypes
               //printfn "unsolvedTypars.Length = %d" unsolvedTypars.Length
               //for x in unsolvedTypars do 
               //    printfn "unsolvedTypar : %s #%d" x.DisplayName x.Stamp
  
negative.code:     env
   
  let AddLocalTyconRefs ownDefinition g amap m tcrefs env = 
       env |> ModifyNameResEnv (fun nenv -> AddTyconRefsToNameEnv BulkAdd.No ownDefinition g amap m false nenv tcrefs) 
  
  let AddLocalTycons g amap m (tycons: Tycon list) env = 
       env |> AddLocalTyconRefs false g amap m (List.map mkLocalTyconRef tycons) 
  
  let AddLocalTyconsAndReport tcSink g amap scopem tycons env = 
      let env = AddLocalTycons g amap scopem tycons env
  