anchor.diff:              List.rev acc
           | (target : Targets.Target) :: tl ->
             match target with
  -          | :? Targets.FileTarget as fileTarget -> 
  +          | :? Targets.FileTarget as fileTarget ->
                 let name = "name: " + target.Name
                 let layout = "layout: " + toStringWithDefault "None" fileTarget.Layout
                 let header = "header: " + toStringWithDefault "None" fileTarget.Header
  
positive.code: //
  [<AutoOpen>]
  module Logger =
      /// The standard logger for NHol.
      let logger = LogManager.GetLogger "file"
  
  
negative.code:               let lineEnding = "lineEnding: " + fileTarget.LineEnding.ToString()
                let acc = ("[" + name + ", " + layout + ", " + header + ", " + footer + ", " + autoFlush + ", " + createDirs + ", " + encoding + ", " + filename + ", " + keepFileOpen + ", " + lineEnding + "]") :: acc
                processTargets tl acc
            | :? Targets.ConsoleTarget as consoleTarget ->
                let name = "name: " + target.Name
                let layout = "layout: " + toStringWithDefault "None" consoleTarget.Layout
                let header = "header: " + toStringWithDefault "None" consoleTarget.Header
  