Skip to content
Snippets Groups Projects
Normal view Permalink
l2lCheckOutputs.mli 288 B
Newer Older
Erwan Jahier's avatar
Check dependance loop in -ec mode.  
Erwan Jahier committed
1 
(* Time-stamp: <modified the 23/01/2013 (at 10:05) by Erwan Jahier> *)
Erwan Jahier's avatar
A new implementation of uniqueOutput that is more efficient, more
Erwan Jahier committed
2 3 

(** Check that each output and each local variable is defined at most
Erwan Jahier's avatar
Add a structures and arrays expanser (--expand-structs-and-arrays option).  
Erwan Jahier committed
4 
    and at least once. Also check that one does not try to define an input. *)
Erwan Jahier's avatar
A new implementation of uniqueOutput that is more efficient, more
Erwan Jahier committed
5
Erwan Jahier's avatar
Plug back node Expansion. Now -ec is working again !  
Erwan Jahier committed
6 7 
val check_node : Lic.node_exp -> unit
val doit : LicPrg.t -> unit