jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Missing case in normalize

Browse source 
Distribute also static tuples
This commit is contained in:
Cédric Pasteur 2011-04-18 09:52:03 +02:00
parent 5d2f7dfa85
commit c6991977a0
1 changed files with 17 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

29
compiler/heptagon/transformations/normalize.ml
View file

@ -238,18 +238,23 @@ and merge context e x c_e_list =
(* applies distribution rules *)
(* [(p1,...,pn) = (e1,...,en)] into [p1 = e1;...;pn = en] *)
and distribute ((d_list, eq_list) as context) eq pat e =
match pat, e.e_desc with
| Etuplepat(pat_list), Eapp({ a_op = Etuple }, e_list, _) ->
let mk_eq pat e =
mk_equation ~stateful:eq.eq_stateful (Eeq (pat, e))
in
let dis context eq = match eq.eq_desc with
| Eeq (pat, e) -> distribute context eq pat e
| _ -> assert false
in
let eqs = List.map2 mk_eq pat_list e_list in
List.fold_left dis context eqs
| _ -> d_list, eq :: eq_list
let dist_e_list pat_list e_list =
let mk_eq pat e =
mk_equation ~stateful:eq.eq_stateful (Eeq (pat, e))
in
let dis context eq = match eq.eq_desc with
| Eeq (pat, e) -> distribute context eq pat e
| _ -> assert false
in
let eqs = List.map2 mk_eq pat_list e_list in
List.fold_left dis context eqs
in
match pat, e.e_desc with
| Etuplepat(pat_list), Eapp({ a_op = Etuple }, e_list, _) ->
dist_e_list pat_list e_list
| Etuplepat(pat_list), Econst { se_desc = Stuple se_list } ->
dist_e_list pat_list (exp_list_of_static_exp_list se_list)
| _ -> d_list, eq :: eq_list
and translate_eq context eq = match eq.eq_desc with
| Eeq (pat, e) ->