anchor.diff:      member x.ParseTree = 
           match infoOpt with
           | Some (_checkResults,parseResults) -> parseResults.ParseTree
  +        | None -> None
  +
  +    member x.CheckResults = 
  +        match infoOpt with
  +        | Some (checkResults,_parseResults) -> checkResults |> Some
           | None -> None
   
       member x.GetExtraColorizations() =
  
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:    async {
      let fileName = if Path.GetExtension fileName = ".sketchfs" then Path.ChangeExtension (fileName, ".fsx") else fileName
      let opts = x.GetCheckerOptions(fileName, projectFilename, src, files, args)
      Debug.WriteLine("LanguageService: Parsing: Get typed parse result, fileName={0}", box fileName)
      // Try to get recent results from the F# service
      match x.TryGetStaleTypedParseResult(fileName, opts, src, stale) with
      | Some _ as results ->
          Debug.WriteLine(sprintf "LanguageService: Parsing: using stale results")
          return results
      | None -> 
          Debug.WriteLine(sprintf "LanguageService: Not using stale results - trying typecheck with timeout")
          // If we didn't get a recent set of type checking results, we put in a request and wait for at most 'timeout' for a response
          return mbox.TryPostAndReply((fun reply -> (fileName, src, opts, reply)), timeout = timeout)
     }
  