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

Fix for causality when using linear types

Browse source
This commit is contained in:
Cédric Pasteur 2011-10-17 11:47:00 +02:00 committed by Cédric Pasteur
parent 6fefd551b1
commit c2ab607195
2 changed files with 5 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
compiler/heptagon/analysis/causal.ml
View file

@ -231,7 +231,7 @@ let build ac =
| Aand _ | Atuple _ -> make_graph ac | Aand _ | Atuple _ -> make_graph ac
| _ -> [], [] | _ -> [], []
in in
let g = make ac in let g = node_for_ac ac in
List.iter (add_dependence g) l; List.iter (add_dependence g) l;
(* let top_l, bot_l = List.split (List.map make_graph_tuple l) in (* let top_l, bot_l = List.split (List.map make_graph_tuple l) in
let top_l = List.flatten top_l in let top_l = List.flatten top_l in

6
compiler/heptagon/analysis/causality.ml
View file

@ -28,10 +28,12 @@ let cand c1 c2 =
let rec candlist l = let rec candlist l =
match l with match l with
| [] -> Cempty | [] -> Cempty
| [c] -> c
| c1 :: l -> cand c1 (candlist l) | c1 :: l -> cand c1 (candlist l)
let ctuplelist l = let ctuplelist l = match l with
Ctuple l | [c] -> c
| _ -> Ctuple l
let cor c1 c2 = let cor c1 c2 =
match c1, c2 with match c1, c2 with