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/compiler_stages.ml
67 67 

  		




  68
  68
  
    
  (* Importing source *)


  		




  69
  69
  
    
  let prog, dependencies, (typ_env, clk_env) = Modules.load ~is_header:(extension = ".lusi") prog in


  		




  70
  
  
    
  


  		




  
  70
  
    

  		




  71
  71
  
    
  (* Registering types and clocks for future checks *)


  		




  72
  72
  
    
  Global.type_env := Env.overwrite !Global.type_env typ_env;


  		




  73
  73
  
    
  Global.clock_env := Env.overwrite !Global.clock_env clk_env;


  		












Also available in:  Unified diff