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