gospel 0.3.0 (latest) · OCaml Package

type kind =

| Return_unit_without_modifies of string
| Invalid_coercion_type of string
| Coercion_cycle of (string * string * string) list
| Coercion_already_defined of (string * string * string) list
| Not_a_constructor of string
| Formula_expected
| Term_expected
| Duplicated_variable of string
| Unbound_variable of string
| Pattern_bad_type of string * string
| Bad_type of string * string
| Bad_arity of string * int * int
| Bad_type_arity of string * int * int
| Name_clash of string
| Syntax_error
| Illegal_character of char
| Illegal_escape of string * string option
| Unterminated_comment
| Duplicated_argument of string
| Unsupported of string
| Type_checking_error of string
| Module_not_found of string
| Free_variables of string list
| Invalid_int_literal of string * char option
| Symbol_not_found of string list
| Bad_record_field of string
| Public_type_invariant of string
| Circular_open
| Field_application of string
| Duplicated_record_field of string
| Partial_application of string
| Unknown_record_field of string
| Cyclic_type_declaration of string
| Predicate_symbol_expected of string
| Function_symbol_expected of string
| Pattern_not_exhaustive of string
| Pattern_guard_not_exhaustive of string
| Pattern_fully_guarded
| Pattern_redundant of string
| Ambiguous_pattern
| Old_in_precond of string

type error = Ppxlib.location * kind

exception Error of error

val error : loc:Ppxlib.location -> kind -> 'a

val type_checking_error : loc:Ppxlib.location -> string -> 'a

val unsupported : loc:Ppxlib.location -> string -> 'a

val function_ : Format.formatter -> (string * string * string) -> unit

val pp_kind : Format.formatter -> kind -> unit

val styled_list : Utils.Fmt.style list -> 'a Utils.Fmt.t -> 'a Utils.Fmt.t

val pp_gen : 
  (Format.formatter -> 'a -> unit) ->
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  Ppxlib.location ->
  'a ->
  unit

pp_gen pp_sort pp_kind ppf loc k display the message of the given sort (warning, error, etc.) at the location obtained after fixing loc (it might have been broken by preprocessing

val pp_warning : Format.formatter -> 'a -> unit

val pp_error : Format.formatter -> 'a -> unit

val pp : Format.formatter -> (Ppxlib.location * kind) -> unit

package gospel