package lustre-v6

You can search for identifiers within the package.

in-package search v0.2.0

Module `Ast2lic`Source

Translate Ast to lic.

Basically, it

calls EvalConst.f wherever it is necessary, i.e., for items that are required to be static, such as arrays sizes, or array indexes.
recursively calls itself for translating sub-terms
checks the arguments and the parameters are compatible (i.e., that they unify)

Sourceval of_type : IdSolver.t -> AstCore.type_exp -> Lic.type_

Sourceval of_clock : IdSolver.t -> AstCore.var_info -> Lic.id_clock

Sourceval of_node : IdSolver.t -> AstCore.node_exp Lxm.srcflagged -> Lic.node_exp

A node_exp is a name plus a list of static arguments.

The goal of node is to

compute the effective type of static arguments
check they are compatible with the node signature check the type of the static arguments (

val of_eq : 
  IdSolver.t ->
  AstCore.eq_info Lxm.srcflagged ->
  Lic.eq_info Lxm.srcflagged

val of_assertion : 
  IdSolver.t ->
  AstCore.val_exp Lxm.srcflagged ->
  Lic.val_exp Lxm.srcflagged