Module Perk.Errors

Defines exceptions for Perk lexing, parsing, type-checking and code generation.

exception ParseError of string * string
exception Syntax_error of int * int * int * int * string * string
exception Lexing_error of int * int * int * int * string * string
exception Compilation_error of int * int * int * int * string * string
exception Type_error of int * int * int * int * string * string
exception Type_match_error of string
exception Double_declaration of string
exception Undeclared of string
exception Not_inferred of string
val raise_type_error : 'a Ast.annotated -> string -> 'b
val raise_syntax_error : 'a Ast.annotated -> string -> 'b
val raise_compilation_error : 'a Ast.annotated -> string -> 'b