package zelus
A synchronous language with ODEs
Install
dune-project
Dependency
Authors
Maintainers
Sources
2.1.tar.gz
sha256=cb0f7bacc33a4bb425683e2def67359fcf6d402545a32f7f953c4822a9a01862
md5=83fb886e4b14ce286e7a6eb59248be4b
doc/zelus.zlcompilerlibs/Typerrors/index.html
Module Typerrors
type error = | Evar_undefined of Ident.t| Emissing of Ident.t| Eglobal_undefined of kind_of_global_ident * Lident.t| Eglobal_already of kind_of_global_ident * string| Ealready of kind_of_ident * Ident.t| Ealready_with_different_kinds of kind_of_ident * kind_of_ident * Ident.t| Eis_a_value of Ident.t| Ealready_in_forall of Ident.t| Einit_undefined of Ident.t| Elast_forbidden of Ident.t| Eder_forbidden of Ident.t| Enext_forbidden of Ident.t| Eshould_be_a_signal of Ident.t * Deftypes.typ| Ecannot_be_set of bool * Ident.t| Etype_clash of Deftypes.typ * Deftypes.typ| Etype_kind_clash of Deftypes.kind * Deftypes.typ| Earity_clash of int * int| Estate_arity_clash of Ident.t * int * int| Estate_unbound of Ident.t| Estate_initial| Ekind_not_combinatorial| Ekind_clash of Deftypes.kind * Deftypes.kind| Esome_labels_are_missing| Eequation_is_missing of Ident.t| Eglobal_is_a_function of Lident.t| Eapplication_of_non_function| Epattern_not_total| Ecombination_function of Ident.t| Esize_parameter_must_be_a_name| Enot_a_size_expression| Esize_of_vec_is_undetermined| Esize_clash of Deftypes.size * Deftypes.size| Esize_parameter_cannot_be_generalized of Ident.t * Deftypes.typ| Econstr_arity of Lident.t * int * int
exception Error of Location.location * errorval error : Location.location -> error -> 'atype warning = | Wpartial_matching of Zelus.pattern| Wunreachable_state of Ident.t| Wmatch_unused of Zelus.pattern| Wequation_does_not_define_a_name| Wreset_target_state of bool * bool
val kind_of_global_ident : kind_of_global_ident -> stringval kind_of_ident : kind_of_ident -> stringval kind_message : Deftypes.kind -> stringval message : Location.location -> error -> 'aval warning : Location.location -> warning -> unit