anchor.diff:    let rec main (state:State) : int =
       let parsed file =
         let ok = Map.containsKey file state.Files
  -      if not ok then printfn "ERROR: File '%s' not parsed" file
  +      if not ok then printfn "ERROR: File '%s' not parsed\n<<EOF>>\n" file
         ok
   
       /// Is the specified position consistent with internal state of file?
  
positive.code:                                     file,
                                      text)
            agent.TriggerParseRequest(opts, full)
            Console.WriteLine("INFO: Background parsing started")
            main { state with Files = Map.add file lines state.Files }
          else
            printfn "ERROR: File '%s' does not exist" file
            main state
  
      | Project file ->
  
negative.code:                         Console.WriteLine(IO.Path.Combine(ProjectParser.getDirectory p, f))
                        Console.WriteLine("<<EOF>>")
                        main { state with Project = Some p }
            | None   -> printfn "ERROR: Project file '%s' is invalid\n<<EOF>>" file
                        main state
          else
            printfn "ERROR: File '%s' does not exist\n<<EOF>>" file
            main state
  
      | Declarations file ->
  