docs: def location (self, pos):
      """Formats the location of the given SeqPos as:
  
          filename:line:col:
      """
      result = ''
      if self.filename:
        result += self.filename + ':'
      if pos:
        result += str(pos)
      return result