package lustre-v6

  1. Overview
  2. Docs

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)

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 (
OCaml

Innovation. Community. Security.