Project

General

Profile

« Previous | Next » 

Revision 95944ba1

Added by Pierre-Loïc Garoche almost 5 years ago

Cleaning up stuff in normalization. Mainly replace arguments with only required elements
node_Table hashtbl is now only available through functions of the corelang.mli

View differences:

src/normalization.mli
1 
open Lustre_types
2 

  		




  1
  3
  
    
type param_t =


  		




  2
  4
  
    
  {


  		




  3
  5
  
    
    unfold_arrow_active: bool;


  		




  ......




  6
  8
  
    
  }


  		




  7
  9
  
    

  		




  8
  10
  
    

  		




  9
  
  
    
val mk_expr_alias_opt: bool -> Lustre_types.node_desc -> (Lustre_types.eq list * Lustre_types.var_decl list)-> Lustre_types.expr -> (Lustre_types.eq list * Lustre_types.var_decl list) * Lustre_types.expr


  		




  10
  
  
    
val normalize_prog: param_t -> Lustre_types.program_t -> Lustre_types.program_t


  		




  
  11
  
    
val mk_expr_alias_opt: bool -> (ident * var_decl list) -> (eq list * var_decl list)-> expr -> (eq list * var_decl list) * expr


  		




  
  12
  
    
val normalize_prog: param_t -> program_t -> program_t


  		












Also available in:  Unified diff