package zelus

  1. Overview
  2. Docs
A synchronous language with ODEs

Install 

dune-project
 Dependency

zelus.di.ens.fr Readme Edit opam file Versions (2)

Authors

  1. T
    Timothy Bourke <timothy.bourke@inria.fr>
  2. M
    Marc Pouzet <marc.pouzet@ens.fr>

Maintainers

  1. M
    Marc Pouzet <marc.pouzet@ens.fr>

Sources

2.2.tar.gz
md5=437ae922f1fda392efca3e37e8b8bb4c
sha512=d591cdbeedb8f3a7f568d6d4994de572093822cb354b112886326219174311715a71a35de57a4c2070eae349f65f0c8f3d6c2f6a5a79a8187bbffc687cd108a6

doc/zelus.zlcompilerlibs/Typerrors/index.html

Module Typerrors

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 Zident.t
  2. | Emissing of Zident.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 * Zident.t
  6. | Ealready_with_different_kinds of kind_of_ident * kind_of_ident * Zident.t
  7. | Eis_a_value of Zident.t
  8. | Ealready_in_forall of Zident.t
  9. | Einit_undefined of Zident.t
  10. | Elast_forbidden of Zident.t
  11. | Eder_forbidden of Zident.t
  12. | Enext_forbidden of Zident.t
  13. | Eshould_be_a_signal of Zident.t * Deftypes.typ
  14. | Ecannot_be_set of bool * Zident.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 Zident.t * int * int
  19. | Estate_unbound of Zident.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 Zident.t
  25. | Eglobal_is_a_function of Lident.t
  26. | Eapplication_of_non_function
  27. | Epattern_not_total
  28. | Ecombination_function of Zident.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 Zident.t * Deftypes.typ
  34. | Econstr_arity of Lident.t * int * int
exception Error of Zlocation.location * error
val error : Zlocation.location -> error -> 'a
type warning =
  1. | Wpartial_matching of Zelus.pattern
  2. | Wunreachable_state of Zident.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 : Zlocation.location -> error -> 'a
val warning : Zlocation.location -> warning -> unit