package lustre-v6

You can search for identifiers within the package.

in-package search v0.2.0

The Lustre V6 Verimag compiler

Install

md5=755e46de4d57d4c489f5b0a0f2b8663d

sha512=8d452184ee68edda1b5a50717e6a5b13fb21f9204634fc5898280e27a1d79c97a6e7cc04424fc22f34cdd02ed3cc8774dca4f982faf342980b5f9fe0dc1a017d

Time-stamp: <modified the 21/01/2015 (at 15:43) by Erwan Jahier>

Sourceval doit : LicPrg.t -> unit

Check node declaration wrt safety and memory.

More precisely, a node that has memory ougth to be declared using "node", and using "function" otherwise.

Moreover, a node that performs side-effects (i.e., if it calls an extern node that performs side effects) ougth to be declared as "unsafe".

Safe/unsafe mismatches raise an error.

Memory mismatches raise an error in one way (a "function" that uses memory), and a warning in the other way (a "node" that uses no memory).

Sourceval is_safe_val_exp : LicPrg.t -> Lic.val_exp -> bool

Sourceval is_memoryless_val_exp : LicPrg.t -> Lic.val_exp -> bool