Project

General

Profile

Revision 5fccce23 src/checks/algebraicLoop.ml

View differences:

src/checks/algebraicLoop.ml
144 144 

  		




  145
  145
  
    
  (* Mini stage 1 *)


  		




  146
  146
  
    
  (* Extracting dependencies: fill some table with typing info *)


  		




  147
  
  
    
  ignore (Compiler_common.import_dependencies prog);


  		




  
  147
  
    
  ignore (Modules.load ~is_header:false prog);


  		




  148
  148
  
    
  (* Local inlining *)


  		




  149
  149
  
    
  let prog = Inliner.local_inline prog (* type_env clock_env *) in


  		




  150
  150
  
    
  (* Checking stateless/stateful status *)


  		












Also available in:  Unified diff