Module `Scoping`

module Error : sig ... end

module S : sig ... end

type defnames = S.t

module Rename : sig ... end

val emake : Zlocation.location -> Zelus.desc -> Zelus.exp

val eqmake : Zlocation.location -> Zelus.eqdesc -> Zelus.eq

val pmake : Zlocation.location -> Zelus.pdesc -> Zelus.pattern

val var : Zlocation.location -> Zident.t -> Zelus.exp

val varpat : Zlocation.location -> Zident.t -> Zelus.pattern

val eblock : 'a -> 'a Zelus.block

val block_with_emit : (Zelus.exp -> 'a) -> Zelus.exp -> 'a list Zelus.block

val block_with_result : Zident.t -> Zelus.eq list -> Zelus.eq list Zelus.block

val name_with_sort : 
  bool ->
  Zlocation.location ->
  Rename.value Rename.t ->
  Rename.key ->
  Zident.t

val name : 
  Zlocation.location ->
  Rename.value Rename.t ->
  Rename.key ->
  Zident.t

val shortname : Zparsetree.longname -> Zparsetree.name

val longname : Zparsetree.longname -> Lident.t

val immediate : Zparsetree.immediate -> Deftypes.immediate

val constant : Zparsetree.constant -> Deftypes.constant

val default : 
  Zparsetree.constant Zparsetree.default ->
  Deftypes.constant Zelus.default

val kind : Zparsetree.kind -> Zelus.kind

val types : 
  Rename.value Rename.t ->
  Zparsetree.type_expression ->
  Zelus.type_expression

val size : Rename.value Rename.t -> Zparsetree.size -> Zelus.size

val operator : 'a -> Rename.value Rename.t -> Zparsetree.op -> Zelus.op

val build : bool -> S.t -> Zparsetree.pattern -> S.t

if check_linear = true, stop when the same name appears twice

val build_list : bool -> S.t -> Zparsetree.pattern list -> S.t

val build_equation_list : S.t -> Zparsetree.eq list -> S.t

Builds the set of names defined in a list of equations

val build_equation : S.t -> Zparsetree.eq -> S.t

val build_block_equation_list : 
  S.t ->
  Zparsetree.eq list Zparsetree.block ->
  S.t * S.t

val build_automaton_handler : 
  S.t ->
  Zparsetree.eq list Zparsetree.block ->
  Zparsetree.escape list ->
  Zparsetree.escape list ->
  S.t

val check_pattern : 
  Rename.value Rename.t ->
  Zparsetree.pattern ->
  Zelus.pattern

Renaming of a pattern

val check_pattern_list : 
  Rename.value Rename.t ->
  Zparsetree.pattern list ->
  Zelus.pattern list

val pattern : 
  Rename.value Rename.t ->
  Zparsetree.pattern ->
  Rename.value Rename.t * Rename.value Rename.t * Zelus.pattern

val pattern_list : 
  Rename.value Rename.t ->
  Zparsetree.pattern list ->
  Rename.value Rename.t * Rename.value Rename.t * Zelus.pattern list

val match_handler_list : 
  ('a -> Rename.value Rename.t -> 'b -> 'c) ->
  'a ->
  Rename.value Rename.t ->
  'b Zparsetree.match_handler list ->
  'c Zelus.match_handler list

Two generic functions for control blocks (present/match)

val present_handler_list : 
  ('a -> Zparsetree.scondpat -> Rename.value Rename.t * 'b * Zelus.scondpat) ->
  ('c -> 'b -> 'd -> 'e) ->
  'c ->
  'a ->
  'd Zparsetree.present_handler list ->
  'e Zelus.present_handler list

val state_handler_list : 
  Zlocation.location ->
  (Rename.value Rename.t ->
    Zparsetree.scondpat ->
    Rename.value Rename.t * Rename.value Rename.t * Zelus.scondpat) ->
  ('a ->
    Rename.value Rename.t ->
    'b Zparsetree.block ->
    Rename.value Rename.t * Zelus.eq list Zelus.block) ->
  ('a ->
    Rename.value Rename.t ->
    Zparsetree.eq list Zparsetree.block ->
    Rename.value Rename.t * Zelus.eq list Zelus.block) ->
  (Rename.value Rename.t -> Zparsetree.exp -> Zelus.exp) ->
  'a ->
  Rename.value Rename.t ->
  'b Zparsetree.state_handler_desc Zparsetree.localized list ->
  Zparsetree.state_exp_desc Zparsetree.localized option ->
  bool * Zelus.state_handler list * Zelus.state_exdesc Zelus.localized option

Translate automata

val vardec : 
  (Rename.value Rename.t * Zelus.vardec list) ->
  Zparsetree.vardecdesc Zparsetree.localized ->
  Rename.value Rename.t * Zelus.vardec list

val block : 
  (Rename.value Rename.t -> Zparsetree.local list -> 'a * Zelus.local list) ->
  (Rename.value Rename.t -> 'a -> 'b -> 'c) ->
  Rename.value Rename.t ->
  Rename.value Rename.t ->
  'b Zparsetree.block_desc Zparsetree.localized ->
  'a * 'c Zelus.block

val expression : Rename.value Rename.t -> Zparsetree.exp -> Zelus.exp

Scoping an expression

val recordrec : 
  Zlocation.location ->
  Rename.value Rename.t ->
  (Zparsetree.longname * Zparsetree.exp) list ->
  (Lident.t * Zelus.exp) list

val period : 
  Rename.value Rename.t ->
  Zparsetree.period ->
  Zelus.exp Zelus.period

val equation : 
  Rename.value Rename.t ->
  Rename.value Rename.t ->
  Zelus.eq list ->
  Zparsetree.eq ->
  Zelus.eq list

val equation_list : 
  Rename.value Rename.t ->
  Rename.value Rename.t ->
  Zparsetree.eq list ->
  Zelus.eq list

val local : 
  Rename.value Rename.t ->
  Zparsetree.local ->
  Rename.value Rename.t * Zelus.local

Translating a sequence of local declarations

val locals : 
  Rename.value Rename.t ->
  Zparsetree.local list ->
  Rename.value Rename.t * Zelus.local list

val letin : 
  Zparsetree.is_rec ->
  Rename.value Rename.t ->
  Zparsetree.eq list ->
  Rename.value Rename.t * Rename.value Rename.t * Zelus.eq list

val present_handler_exp_list : 
  Rename.value Rename.t ->
  Rename.value Rename.t ->
  Zparsetree.exp Zparsetree.present_handler list ->
  Zelus.exp Zelus.present_handler list

Translate a present and match when handlers are expressions or equations

val present_handler_block_eq_list : 
  Rename.value Rename.t ->
  Rename.value Rename.t ->
  Zparsetree.eq list Zparsetree.block Zparsetree.present_handler list ->
  Zelus.eq list Zelus.block Zelus.present_handler list

val match_handler_block_eq_list : 
  Rename.value Rename.t ->
  Rename.value Rename.t ->
  Zparsetree.eq list Zparsetree.block Zparsetree.match_handler list ->
  Zelus.eq list Zelus.block Zelus.match_handler list

val block_eq_list : 
  Rename.value Rename.t ->
  Rename.value Rename.t ->
  Zparsetree.eq list Zparsetree.block ->
  Rename.value Rename.t * Zelus.eq list Zelus.block

Translate a block when the body is a list of equations

val state_handler_eq_list : 
  Zlocation.location ->
  Rename.value Rename.t ->
  Rename.value Rename.t ->
  Zparsetree.eq list Zparsetree.state_handler list ->
  Zparsetree.state_exp option ->
  Zelus.is_weak * Zelus.state_handler list * Zelus.state_exp option

Translate an automaton

val scondpat : 
  Rename.value Rename.t ->
  Zparsetree.scondpat ->
  Rename.value Rename.t * Rename.value Rename.t * Zelus.scondpat

val type_decl : 
  Zparsetree.type_decl_desc Zparsetree.localized ->
  Zelus.type_decl_desc Zelus.localized

val constr_decl : Zparsetree.constr_decl -> Zelus.constr_decl

val type_decls : 
  ('a * 'b * Zparsetree.type_decl_desc Zparsetree.localized) list ->
  ('a * 'b * Zelus.type_decl_desc Zelus.localized) list

val implementation : 
  Zparsetree.implementation_desc Zparsetree.localized ->
  Zelus.implementation_desc Zelus.localized

val implementation_list : 
  Zparsetree.implementation_desc Zparsetree.localized list ->
  Zelus.implementation_desc Zelus.localized list

val interface : 
  Zparsetree.interface_desc Zparsetree.localized ->
  Zelus.interface_desc Zelus.localized

val interface_list : 
  Zparsetree.interface_desc Zparsetree.localized list ->
  Zelus.interface_desc Zelus.localized list

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/zelus.zlcompilerlibs/Scoping/index.html

Module `Scoping`

package zelus

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/zelus.zlcompilerlibs/Scoping/index.html

Module Scoping

dune-project
Dependency

Module `Scoping`