package zelus

You can search for identifiers within the package.

in-package search v0.2.0

A synchronous language with ODEs

Install

Dune Dependency

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

Authors

Maintainers

M

Marc Pouzet <marc.pouzet@ens.fr>

Sources

md5=437ae922f1fda392efca3e37e8b8bb4c

sha512=d591cdbeedb8f3a7f568d6d4994de572093822cb354b112886326219174311715a71a35de57a4c2070eae349f65f0c8f3d6c2f6a5a79a8187bbffc687cd108a6

doc/zelus.zlcompilerlibs/Typerrors/index.html

Module `Typerrors`

type kind_of_global_ident =

| Value
| Type
| Constr
| Label

type kind_of_ident =

| Current
| Initial
| Next
| Multi
| Derivative

type error =

| Evar_undefined of Zident.t
| Emissing of Zident.t
| Eglobal_undefined of kind_of_global_ident * Lident.t
| Eglobal_already of kind_of_global_ident * string
| Ealready of kind_of_ident * Zident.t
| Ealready_with_different_kinds of kind_of_ident * kind_of_ident * Zident.t
| Eis_a_value of Zident.t
| Ealready_in_forall of Zident.t
| Einit_undefined of Zident.t
| Elast_forbidden of Zident.t
| Eder_forbidden of Zident.t
| Enext_forbidden of Zident.t
| Eshould_be_a_signal of Zident.t * Deftypes.typ
| Ecannot_be_set of bool * Zident.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 Zident.t * int * int
| Estate_unbound of Zident.t
| Estate_initial
| Ekind_not_combinatorial
| Ekind_clash of Deftypes.kind * Deftypes.kind
| Esome_labels_are_missing
| Eequation_is_missing of Zident.t
| Eglobal_is_a_function of Lident.t
| Eapplication_of_non_function
| Epattern_not_total
| Ecombination_function of Zident.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 Zident.t * Deftypes.typ
| Econstr_arity of Lident.t * int * int

exception Error of Zlocation.location * error

val error : Zlocation.location -> error -> 'a

type warning =

| Wpartial_matching of Zelus.pattern
| Wunreachable_state of Zident.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 -> 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