anchor.diff:                              ()
                     ]
                //printfn "allTypes.Length = %d" allTypes.Length
  -             let unsolvedTypars = freeInTypesLeftToRight cenv.g true allTypes
  +             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
  
positive.code:     CallEnvSink tcSink (scopem,env.NameEnv,env.eAccessRights)
      env
  
  let AddLocalExnDefn tcSink scopem (exnc:Tycon) env =
      let env = ModifyNameResEnv (fun nenv -> AddExceptionDeclsToNameEnv BulkAdd.No nenv (mkLocalEntityRef exnc)) env
      (* Also make VisualStudio think there is an identifier in scope at the range of the identifier text of its binding location *)
      CallEnvSink tcSink (exnc.Range,env.NameEnv,env.eAccessRights)
  
negative.code:             let! (mspec,_) = TcModuleOrNamespaceSignature cenv env (id,true,mdefs,xml,attribs,vis,m)
              let scopem = unionRanges m endm
              PublishModuleDefn cenv env mspec; 
              let env = AddLocalSubModuleAndReport cenv.tcSink cenv.g cenv.amap m scopem env mspec
              return env
              
          | SynModuleSigDecl.ModuleAbbrev (id,p,m) -> 
  