anchor.diff:      let opts = 
         
         // We are in a project - construct options using current properties
  -        Debug.WriteLine (sprintf "GetProjectCheckerOptions: Creating for project '%s'" projFilename )
  +        Debug.WriteLine (sprintf "LanguageService: GetProjectCheckerOptions: Creating for project '%s'" projFilename )
   
           {ProjectFileName = projFilename
            ProjectFileNames = files
  
positive.code:           if opts.OtherOptions |> Seq.exists (fun s -> s.Contains("FSharp.Core.dll")) then opts
            else 
              // Add assemblies that may be missing in the standard assembly resolution
              Debug.WriteLine("GetScriptCheckerOptions: Adding missing core assemblies.")
              let dirs = FSharpEnvironment.getDefaultDirectories (None, FSharpTargetFramework.NET_4_5 )
              {opts with OtherOptions = [| yield! opts.OtherOptions
                                           match FSharpEnvironment.resolveAssembly dirs "FSharp.Core" with
                                           | Some fn -> yield sprintf "-r:%s" fn
                                           | None -> Debug.WriteLine("Resolution: FSharp.Core assembly resolution failed!")
                                           match FSharpEnvironment.resolveAssembly dirs "FSharp.Compiler.Interactive.Settings" with
                                           | Some fn -> yield sprintf "-r:%s" fn
                                           | None -> Debug.WriteLine("Resolution: FSharp.Compiler.Interactive.Settings assembly resolution failed!") |]}
          with e -> failwithf "Exception when getting check options for '%s'\n.Details: %A" fileName e
  
      // Print contents of check option for debugging purposes
  
negative.code: 
    /// Constructs options for the interactive checker for the given file in the project under the given configuration.
    member x.GetCheckerOptions(fileName, projFilename, source, files, args) =
      let opts =
        if LanguageService.IsAScript fileName then
          // We are in a stand-alone file or we are in a project, but currently editing a script file
  