anchor.diff:          let text = String.concat "\n" lines
           let file = Path.GetFullPath file
           if File.Exists file then
  -          let opts = RequestOptions(agent.GetCheckerOptions(file, text, state.Project),
  -                                    file,
  -                                    text,
  -                                    state.HelpText)
  -          agent.TriggerParseRequest(opts, full)
  +          agent.TriggerParseRequest(getoptions file, full)
             Console.WriteLine("INFO: Background parsing started\n<<EOF>>")
             main { state with Files = Map.add file lines state.Files }
           else
  
positive.code:         | [] -> []
  
        match identIsland with
        | [ "" ] ->
          // There is no identifier at the current location
          printfn "INFO: No identifier found at this location\n<<EOF>>"
        | _ ->
          // Assume that we are inside identifier (F# services can also handle
          // case when we're in a string in '#r "Foo.dll"' but we don't do that)
          let tip = info.GetDataTipText(pos, lineStr, identIsland, identToken)
          match tip with
          | DataTipText(elems)
            when elems |> List.forall (function
              DataTipElementNone -> true | _ -> false) ->
                printfn "INFO: No tooltip information\n<<EOF>>"
          | _ ->
            Console.WriteLine("DATA: tooltip")
            Console.WriteLine(TipFormatter.formatTip tip)
            Console.WriteLine("<<EOF>>")
      | None -> printfn "ERROR: Could not get type information\n<<EOF>>"
  
    /// Finds the point of declaration of the symbol at pos
    /// and writes information to the standard output
  
negative.code: 
  /// Represents information needed to call the F# IntelliSense service
  /// (including project/script options, file name and source)
  type internal RequestOptions(opts, file, src) =
    member x.Options : CheckOptions = opts
    member x.FileName : string = file
    member x.Source : string = src
    member x.WithSource(source) =
      RequestOptions(opts, file, source)
  
    override x.ToString() =
      sprintf "FileName: '%s'\nSource length: '%d'\nOptions: %s, %A, %A, %b, %b"
  