Project

General

Profile

Revision f4cba4b8 src/compiler_stages.ml

View differences:

src/compiler_stages.ml
78 78 
  (* Sorting nodes *)
79 79 
  let prog = SortProg.sort prog in
80 80 

  		




  
  81
  
    
  (* Consolidating contracts *)


  		




  
  82
  
    
  let prog = resolve_contracts prog in


  		




  
  83
  
    
  


  		




  81
  84
  
    
  (* Perform inlining before any analysis *)


  		




  82
  85
  
    
  let orig, prog =


  		




  83
  86
  
    
    if !Options.global_inline && !Options.main_node <> "" then


  		












Also available in:  Unified diff