There are broadly three kinds of errors that may arise from Arrow Analysis. This files gives an overview of the information tracked in each case, which shall form the basis for top-quality error messages.