spectec/src/util/error.mli

exception Error of Source.region * string

val error : Source.region -> string -> string -> 'a

val print_error : Source.region -> string -> unit
val print_warn : Source.region -> string -> unit