package zelus

  1. Overview
  2. Docs
type kind_of_global_ident =
  1. | Value
  2. | Type
  3. | Constr
  4. | Label
type kind_of_ident =
  1. | Current
  2. | Initial
  3. | Next
  4. | Multi
  5. | Derivative
type error =
  1. | Evar_undefined of Ident.t
  2. | Emissing of Ident.t
  3. | Eglobal_undefined of kind_of_global_ident * Lident.t
  4. | Eglobal_already of kind_of_global_ident * string
  5. | Ealready of kind_of_ident * Ident.t
  6. | Ealready_with_different_kinds of kind_of_ident * kind_of_ident * Ident.t
  7. | Eis_a_value of Ident.t
  8. | Ealready_in_forall of Ident.t
  9. | Einit_undefined of Ident.t
  10. | Elast_forbidden of Ident.t
  11. | Eder_forbidden of Ident.t
  12. | Enext_forbidden of Ident.t
  13. | Eshould_be_a_signal of Ident.t * Deftypes.typ
  14. | Ecannot_be_set of bool * Ident.t
  15. | Etype_clash of Deftypes.typ * Deftypes.typ
  16. | Etype_kind_clash of Deftypes.kind * Deftypes.typ
  17. | Earity_clash of int * int
  18. | Estate_arity_clash of Ident.t * int * int
  19. | Estate_unbound of Ident.t
  20. | Estate_initial
  21. | Ekind_not_combinatorial
  22. | Ekind_clash of Deftypes.kind * Deftypes.kind
  23. | Esome_labels_are_missing
  24. | Eequation_is_missing of Ident.t
  25. | Eglobal_is_a_function of Lident.t
  26. | Eapplication_of_non_function
  27. | Epattern_not_total
  28. | Ecombination_function of Ident.t
  29. | Esize_parameter_must_be_a_name
  30. | Enot_a_size_expression
  31. | Esize_of_vec_is_undetermined
  32. | Esize_clash of Deftypes.size * Deftypes.size
  33. | Esize_parameter_cannot_be_generalized of Ident.t * Deftypes.typ
  34. | Econstr_arity of Lident.t * int * int
exception Error of Location.location * error
val error : Location.location -> error -> 'a
type warning =
  1. | Wpartial_matching of Zelus.pattern
  2. | Wunreachable_state of Ident.t
  3. | Wmatch_unused of Zelus.pattern
  4. | Wequation_does_not_define_a_name
  5. | Wreset_target_state of bool * bool
val kind_of_global_ident : kind_of_global_ident -> string
val kind_of_ident : kind_of_ident -> string
val kind_message : Deftypes.kind -> string
val message : Location.location -> error -> 'a
val warning : Location.location -> warning -> unit
OCaml

Innovation. Community. Security.