package gospel

  1. Overview
  2. Docs
package gospel
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Gospel.WarningsSource

Sourcetype kind =
  1. | Ambiguous_pattern
  2. | Bad_arity of string * int * int
  3. | Bad_record_field of string
  4. | Bad_type of string * string
  5. | Bad_type_arity of string * int * int
  6. | Circular_open
  7. | Coercion_already_defined of (string * string * string) list
  8. | Coercion_cycle of (string * string * string) list
  9. | Cyclic_type_declaration of string
  10. | Duplicated_argument of string
  11. | Duplicated_record_field of string
  12. | Duplicated_variable of string
  13. | Field_application of string
  14. | Formula_expected
  15. | Free_variables of string list
  16. | Function_symbol_expected of string
  17. | Functor_application of string
  18. | Illegal_character of char
  19. | Illegal_escape of string * string option
  20. | Invalid_coercion_type of string
  21. | Invalid_int_literal of string * char option
  22. | Module_not_found of string
  23. | Name_clash of string
  24. | Not_a_constructor of string
  25. | Old_in_precond of string
  26. | Partial_application of string
  27. | Pattern_bad_type of string * string
  28. | Pattern_fully_guarded
  29. | Pattern_guard_not_exhaustive of string
  30. | Pattern_not_exhaustive of string
  31. | Pattern_redundant of string
  32. | Predicate_symbol_expected of string
  33. | Public_type_invariant of string
  34. | Return_unit_without_modifies of string
  35. | Symbol_not_found of string list
  36. | Syntax_error
  37. | Term_expected
  38. | Type_checking_error of string
  39. | Unbound_variable of string
  40. | Unknown_record_field of string
  41. | Unsupported of string
  42. | Unterminated_comment
Sourceexception Error of error
Sourceval error : loc:Ppxlib.location -> kind -> 'a
Sourceval type_checking_error : loc:Ppxlib.location -> string -> 'a
Sourceval unsupported : loc:Ppxlib.location -> string -> 'a
Sourceval function_ : Format.formatter -> (string * string * string) -> unit
Sourceval pp_kind : Format.formatter -> kind -> unit
Sourceval styled_list : Utils.Fmt.style list -> 'a Utils.Fmt.t -> 'a Utils.Fmt.t
Sourceval 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

Sourceval pp_warning : Format.formatter -> 'a -> unit
Sourceval pp_error : Format.formatter -> 'a -> unit