Project

General

Profile

Revision 01c7d5e1 src/splitting.ml

View differences:

src/splitting.ml
26 26 

  		




  27
  27
  
    
open Utils


  		




  28
  28
  
    
open Corelang


  		




  29
  
  
    

  		




  
  29
  
    
open LustreSpec


  		




  30
  30
  
    
open Format


  		




  31
  31
  
    

  		




  32
  32
  
    

  		




  ......




  84
  84
  
    
    List.map


  		




  85
  85
  
    
      (fun hl -> {expr with expr_tag = Utils.new_tag (); expr_desc = Expr_merge (c, List.combine tl hl) })


  		




  86
  86
  
    
      (transpose_list hl)


  		




  87
  
  
    
  | Expr_uclock _


  		




  88
  
  
    
  | Expr_dclock _ 


  		




  89
  
  
    
  | Expr_phclock _ -> assert false (* Not handled yet *)


  		




  90
  87
  
    

  		




  91
  88
  
    
let rec tuple_split_eq eq =


  		




  92
  89
  
    
  let split_rhs = tuple_split_expr eq.eq_rhs in


  		












Also available in:  Unified diff