anchor.diff:              with e ->
                   tcConfigB.RemoveReferencedAssemblyByPath(m,path)
                   reraise()
  -        let optEnv = List.fold (AddExternalCcuToOptimizationEnv tcGlobals) istate.optEnv ccuinfos
  -        istate.ilxGenerator.AddExternalCcus (ccuinfos |> List.map (fun ccuinfo -> ccuinfo.FSharpViewOfMetadata)) 
           resolutions,
  -        { istate with tcState = tcState.NextStateAfterIncrementalFragment(tcEnv); optEnv = optEnv }
  +        { addCcusToIncrementalEnv istate ccuinfos with tcState = tcState.NextStateAfterIncrementalFragment(tcEnv) }
   
   
       member __.EvalDependencyManagerTextFragment (packageManager:IDependencyManagerProvider,m,path: string) =
  
positive.code:         | _ ->
              None
  
      member private this.ImportReflectionType (ctok, istate, reflectionTy) =
          let amap = istate.tcImports.GetImportMap()
          
          let resolveAssemblyRefOfILType istate (ilTy: ILType) =
              let tcImports = istate.tcImports
                  
              if ilTy.IsNominal then
                  match ilTy.TypeRef.Scope with
                  | ILScopeRef.Assembly aref ->
                      // Simple name unification. If it fails, then try to resolve the assembly.
                      if tcImports.TryFindDllInfo(ctok, range0, aref.Name, lookupOnly = true).IsNone then
                          this.EvalRequireReference(ctok, istate, range0, aref.Name)
                          |> snd
                      else
                          istate
                  | _ ->
                      istate
              else
                  istate
          
          let rec import istate (ilTy: ILType) =
              let istate = resolveAssemblyRefOfILType istate ilTy
              let istate, tinst =
                  (ilTy.GenericArgs, (istate, []))
                  ||> List.foldBack (fun ilGenericArgTy (istate, tinst) ->
                      let istate, ty = import istate ilGenericArgTy
                      (istate, ty :: tinst))
              istate, Import.ImportILType amap range0 tinst ilTy
          
          import istate (convertReflectionTypeToILType reflectionTy)
  
      member this.AddBoundValue (ctok, errorLogger: ErrorLogger, istate, name: string, value: obj) =
          try
              match value with
  
negative.code:             if PrettyNaming.IsCompilerGeneratedName name then
                  invalidArg "name" (FSComp.SR.lexhlpIdentifiersContainingAtSymbolReserved() |> snd)
  
              let istate, ty = importReflectionType istate (value.GetType())
              let amap = istate.tcImports.GetImportMap()
  
              let i = nextFragmentId()
  