anchor.diff:      | _ ->        
           let msg = "Error during " + parseFunction + "."
           if parseFunction = "parse_term"
  -        then (fileName, lineNumber, regexMatch, parseString, msg) :: acc
  +        then (fileName, lineNumber, offset, regexMatch, parseString, msg) :: acc
           elif parseFunction = "parse_type"
  -        then (fileName, lineNumber, regexMatch, parseString, msg) :: acc
  +        then (fileName, lineNumber, offset, regexMatch, parseString, msg) :: acc
           else failwith ("Unknow parse function: " + parseFunction)
           
   /// Adds a message to the list if a successful parse occurs for a parse_term or parse_type.
  -let parsingSuccessCondition (item : (string * int * Match)) acc : (string * int * Match * string * string) list =
  -    let (fileName, lineNumber, regexMatch) = item
  +let parsingSuccessCondition (item : (string * int * int * Match)) acc : (string * int * int * Match * string * string) list =
  +    let (fileName, lineNumber, offset, regexMatch) = item
       let parseFunction = regexMatch.Groups.["parse_function"].Value
       let parseString = regexMatch.Groups.["parseString"].Value
       try
  
positive.code:         then NHol.parser.parse_type parseString |> ignore
          else failwith ("Unknow parse function: " + parseFunction)
          let msg = parseFunction + " successful."
          (fileName, lineNumber, regexMatch, parseString, msg) :: acc
      with
      | _ -> acc
          
  /// Process the matches to build a list of messages based on the condtions.
  let processConditions conditions info  : (string * int * Match * string * string) list =
      let rec processConditions (item : (string * int * Match)) conditions acc : (string * int * Match * string * string) list =
          match conditions with
          | condition :: tl ->
              let acc = condition item acc
              processConditions item tl acc
          | [] -> acc
      let rec prcessInfo (info : (string * int * Match) list) conditions acc : (string * int * Match * string * string) list =
          match info with
          | hd :: tl -> 
              let acc = processConditions hd conditions acc
  
negative.code: 
  #endif
  
  open System.Text.RegularExpressions
  
  /// Convert a path to a list of absolute file names.
  // A path can be absolute or relative, a directory or file, or empty.
  