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/Initialization/index.html

Module Initialization

type error =
  1. | Iless_than of Definit.ti * Definit.ti
  2. | Iless_than_i of Definit.t * Definit.t
  3. | Ilast of Ident.t
  4. | Ivar of Ident.t
  5. | Ider of Ident.t
exception Error of Location.location * error
val error : Location.location -> error -> 'a
val message : Location.location -> error -> 'a
val less_than : Location.location -> Definit.ti -> Definit.ti -> unit
val less_for_last : Location.location -> Ident.t -> Definit.t -> Definit.t -> unit
val less_for_var : Location.location -> Ident.t -> Definit.ti -> Definit.ti -> unit

Build an environment from a typing environment

Build an environment from env by replacing the initialization

val add_last_to_env : bool -> Init.tentry Ident.Env.t -> Ident.S.t -> Init.tentry Ident.Env.t
val print : Ident.t -> 'a
val initialized : Location.location -> Init.tentry Ident.Env.t -> Ident.S.t -> unit

Check that partially defined names have a last value which is initialized

val pattern : bool -> Init.tentry Ident.Env.t -> Zelus.pattern -> Definit.ti -> unit

Patterns

val pattern_less_than_on_i : bool -> Init.tentry Ident.Env.t -> Zelus.pattern -> Definit.t -> unit
val match_handlers : bool -> (bool -> Init.tentry Ident.Env.t -> 'a -> 'b) -> Init.tentry Ident.Env.t -> 'a Zelus.match_handler list -> unit

Match handler

val present_handlers : bool -> (bool -> Init.tentry Ident.Env.t -> Zelus.scondpat -> 'a) -> (bool -> Init.tentry Ident.Env.t -> 'b -> 'c) -> Init.tentry Ident.Env.t -> 'b Zelus.present_handler list -> unit

Present handler

Initialization of an expression

val operator : bool -> Init.tentry Ident.Env.t -> Zelus.op -> Deftypes.typ -> Zelus.exp list -> Definit.ti

Typing an operator

val app : bool -> Init.tentry Ident.Env.t -> Definit.ti -> Zelus.exp list -> Definit.ti

Typing an application

val exp_less_than_on_i : bool -> Init.tentry Ident.Env.t -> Zelus.exp -> Definit.t -> unit
val opt_exp_less_than_on_i : bool -> Init.tentry Ident.Env.t -> Zelus.exp option -> Definit.t -> unit
val exp_less_than : bool -> Init.tentry Ident.Env.t -> Zelus.exp -> Definit.ti -> unit
val equation_list : bool -> Init.tentry Ident.Env.t -> Zelus.eq list -> unit

Checking equations

val equation : bool -> Init.tentry Ident.Env.t -> Zelus.eq -> unit
val present_handler_exp_list : bool -> Init.tentry Ident.Env.t -> Zelus.exp Zelus.present_handler list -> Definit.ti -> unit
val present_handler_block_eq_list : bool -> Ident.S.t -> Init.tentry Ident.Env.t -> Deftypes.defnames -> Zelus.eq list Zelus.block Zelus.present_handler list -> unit
val match_handler_block_eq_list : bool -> Ident.S.t -> Init.tentry Ident.Env.t -> Deftypes.defnames -> Zelus.eq list Zelus.block Zelus.match_handler list -> unit
val match_handler_exp_list : bool -> Init.tentry Ident.Env.t -> Zelus.exp Zelus.match_handler list -> Definit.ti -> unit
val block_eq_list : Ident.S.t -> bool -> Init.tentry Ident.Env.t -> Zelus.eq list Zelus.block -> Init.tentry Ident.Env.t
val scondpat : bool -> Init.tentry Ident.Env.t -> Zelus.scondpat -> unit