type error =
| Unclosed of Warnings.loc * string * Warnings.loc * string
| Expecting of Warnings.loc * string
| Not_expecting of Warnings.loc * string
| Applicative_path of Warnings.loc
| Variable_in_scope of Warnings.loc * string
| Other of Warnings.loc
| Ill_formed_ast of Warnings.loc * string
| Invalid_package_type of Warnings.loc * string
exception Error of error
exception Escape_error
val report_error : Format.formatter -> error -> unit
val location_of_error : error -> Warnings.loc
val ill_formed_ast : Warnings.loc -> string -> 'a