Revision 01c7d5e1 src/splitting.ml
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