Project

General

Profile

« Previous | Next » 

Revision 333e3a25

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

[general] Refactor get_node_eqs to produce (eqs, auts) with automatons

View differences:

src/mutation.ml
103 103 

  		




  104
  104
  
    
let compute_records_eq eq = compute_records_expr eq.eq_rhs


  		




  105
  105
  
    

  		




  106
  
  
    
let compute_records_node nd = 


  		




  107
  
  
    
  merge_records (List.map compute_records_eq (get_node_eqs nd))


  		




  
  106
  
    
let compute_records_node nd =


  		




  
  107
  
    
  let eqs, auts = get_node_eqs nd in


  		




  
  108
  
    
  assert (auts=[]); (* Automaton should be expanded by now *)


  		




  
  109
  
    
  merge_records (List.map compute_records_eq eqs)


  		




  108
  110
  
    

  		




  109
  111
  
    
let compute_records_top_decl td =


  		




  110
  112
  
    
  match td.top_decl_desc with


  		












Also available in:  Unified diff