Skip to content
Snippets Groups Projects
Commit 8e51a8c6 authored by Wilke Pierre's avatar Wilke Pierre
Browse files

Ajout de TODO dans cfg_nop_elim et elang_gen + Mise à jour du sujet

parent d2f396ea
No related branches found
No related tags found
No related merge requests found
No preview for this file type
...@@ -47,6 +47,7 @@ let nop_transitions_closed cfgfunbody = ...@@ -47,6 +47,7 @@ let nop_transitions_closed cfgfunbody =
(* [replace_succ nop_succs s] donne le nouveau nom du nœud [s], en utilisant la (* [replace_succ nop_succs s] donne le nouveau nom du nœud [s], en utilisant la
liste [nop_succs] (telle que renvoyée par [nop_transitions_closed]). *) liste [nop_succs] (telle que renvoyée par [nop_transitions_closed]). *)
let replace_succ nop_succs s = let replace_succ nop_succs s =
(* TODO *)
s s
(* [replace_succs nop_succs n] remplace le nœud [n] par un nœud équivalent où on (* [replace_succs nop_succs n] remplace le nœud [n] par un nœud équivalent où on
......
...@@ -58,6 +58,7 @@ let rec make_eexpr_of_ast (a: tree) : expr res = ...@@ -58,6 +58,7 @@ let rec make_eexpr_of_ast (a: tree) : expr res =
let rec make_einstr_of_ast (a: tree) : instr res = let rec make_einstr_of_ast (a: tree) : instr res =
let res = let res =
match a with match a with
(* TODO *)
| _ -> Error (Printf.sprintf "Unacceptable ast in make_einstr_of_ast %s" | _ -> Error (Printf.sprintf "Unacceptable ast in make_einstr_of_ast %s"
(string_of_ast a)) (string_of_ast a))
in in
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment