anchor.diff:          if File.Exists file then
             let opts = RequestOptions(agent.GetCheckerOptions(file, text, state.Project),
                                       file,
  -                                    text)
  +                                    text,
  +                                    state.OutputMode)
             agent.TriggerParseRequest(opts, full)
             Console.WriteLine("INFO: Background parsing started\n<<EOF>>")
             main { state with Files = Map.add file lines state.Files }
  
positive.code:     | null -> Quit
      | input ->
        let reader = Parsing.createForwardStringReader input 0
        let cmds = errors <|> help <|> declarations <|> parse <|> project <|> completionTipOrDecl <|> quit <|> error
        reader |> Parsing.getFirst cmds
  
  // --------------------------------------------------------------------------------------
  
negative.code:     | Parse of string * bool
      | Error of string
      | Project of string
      | OutputMode of OutputMode
      | Help
      | Quit
  
  