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.1.tar.gz
sha256=cb0f7bacc33a4bb425683e2def67359fcf6d402545a32f7f953c4822a9a01862
md5=83fb886e4b14ce286e7a6eb59248be4b

doc/zelus.zlcompilerlibs/Interface/index.html

Module Interface

type error =
  1. | Eunbound_type_constr of Lident.t
  2. | Eunbound_global_value of Lident.t
  3. | Etype_constr_arity of Lident.t * int * int
  4. | Eunbound_type_var of string
  5. | Erepeated_type_param of string
  6. | Erepeated_constructor of string
  7. | Erepeated_label of string
  8. | Ealready_defined_type of string
  9. | Ealready_defined_constr of string
  10. | Ealready_defined_label of string
  11. | Ealready_defined_value of string
  12. | Ecyclic_abbreviation
exception Error of Location.location * error
val error : Location.location -> error -> 'a
val message : Location.location -> error -> 'a
val make : 'a -> 'a Zelus.localized
val global : string -> 'a -> 'a Global.info
val free_of_type : string list -> Zelus.type_expression -> string list
val constr_name : Location.location -> Lident.t -> int -> Lident.qualident
val kindtype : Zelus.kind -> Deftypes.kind
val kindoftype : Deftypes.kind -> Zelus.kind
val typ_of_type_expression : (string * Deftypes.typ) list -> Zelus.type_expression -> Deftypes.typ
val type_expression_of_typ : Deftypes.typ -> Zelus.type_expression
val type_decl_of_type_desc : 'a -> Global.type_desc -> 'a * string list * Zelus.type_decl_desc Zelus.localized
val check_no_repeated_type_param : Location.location -> string list -> unit
val check_no_repeated_constructor : Location.location -> Zelus.constr_decl_desc Zelus.localized list -> unit
val check_no_repeated_label : Location.location -> (string * 'a) list -> unit
val type_variant_type : (string * Deftypes.typ) list -> Zelus.constr_decl_desc Zelus.localized list -> Deftypes.typ -> Global.constr_desc Global.info list
val type_record_type : (string * Deftypes.typ) list -> (string * Zelus.type_expression) list -> Deftypes.typ -> Global.label_desc Global.info list
val make_initial_typ_environment : Location.location -> Modules.E.key -> string list -> Global.type_desc Global.info
val add_type_of_value : Format.formatter -> Location.location -> Modules.E.key -> bool -> Deftypes.typ_scheme -> unit
val update_type_of_value : Format.formatter -> Location.location -> Modules.E.key -> bool -> Deftypes.typ_scheme -> unit
val interface_list : Format.formatter -> Zelus.interface_desc Zelus.localized list -> unit