change name of todo comments

Kappa-Dev · Dec 6, 2024 · f6aebc0 · f6aebc0
1 parent 4e1ced8
commit f6aebc0
Show file tree

Hide file tree

Showing 5 changed files with 10 additions and 10 deletions.
diff --git a/core/grammar/ast.ml b/core/grammar/ast.ml
@@ -1318,11 +1318,11 @@ let rule_of_json filenames f_mix f_var = function
   | x -> raise (Yojson.Basic.Util.Type_error ("Incorrect AST rule", x))
 
 let guard_to_json _filenames _g =
-  (*TODO*)
+  (*rTODO*)
   `List []
 
 let guard_of_json _filenames _j =
-  (*TODO*)
+  (*rTODO*)
   LKappa.True
 
 let modif_to_json filenames f_mix f_var = function

diff --git a/core/grammar/eval.ml b/core/grammar/eval.ml
@@ -573,7 +573,7 @@ let compile_rules ~debug_mode ~warning alg_deps ~compile_mode_on contact_map
     domain rules =
   match
     List.fold_left
-      (fun (domain, syntax_ref, deps_machinery, acc) (_, _guard (*TODO*), rule) ->
+      (fun (domain, syntax_ref, deps_machinery, acc) (_, _guard (*rTODO*), rule) ->
         let domain', origin', cr =
           rules_of_ast ~debug_mode ~warning ?deps_machinery ~compile_mode_on
             contact_map domain ~syntax_ref rule

diff --git a/core/grammar/lKappa_compiler.ml b/core/grammar/lKappa_compiler.ml
@@ -1351,7 +1351,7 @@ let modif_expr_of_ast ~warning ~syntax_version sigs counters_info tok algs
     contact_map modif acc =
   match modif with
   | Ast.APPLY (nb, (ast_rule, pos)) ->
-    (* TODO maybe add guard?*)
+    (* rTODO maybe add guard?*)
     let rule : rule_inter_rep =
       match ast_rule.Ast.rewrite with
       | Ast.Edit rule_content ->

diff --git a/core/symmetries/kade_backend.ml b/core/symmetries/kade_backend.ml
@@ -945,7 +945,7 @@ module Model = struct
         Format.pp_print_string f "Interventions"
       else (
         match Model.get_ast_rule_with_label env i with
-        | Some (na, _), _, (*TODO*) _ -> Format.pp_print_string f na
+        | Some (na, _), _, (*rTODO*) _ -> Format.pp_print_string f na
         | None, _, (r, _) ->
           LKappa.print_rule ~noCounters ~full:false sigs ?symbol_table
             (Model.print_token ~env) (Model.print_alg ~env) f r

diff --git a/core/term/model.ml b/core/term/model.ml
@@ -156,7 +156,7 @@ let print_token ?env f id =
   | Some env -> Format.fprintf f "%s" (NamedDecls.elt_name env.tokens id)
 
 let print_ast_rule ~noCounters ?env f i =
-  (*TODO print guard*)
+  (*rTODO print guard*)
   match env with
   | None -> Format.fprintf f "__ast_rule_%i" i
   | Some env ->
@@ -202,7 +202,7 @@ let print_kappa ~noCounters pr_alg ?pr_rule pr_pert f env =
       | None ->
         Pp.array Pp.space ~trailing:Pp.space
           (fun _ f (na, _guard, (e, _)) ->
-            (*TODO print guard*)
+            (*rTODO print guard*)
             Format.fprintf f "%a%a"
               (Pp.option ~with_space:false (fun f (na, _) ->
                    Format.fprintf f "'%s' " na))
@@ -358,7 +358,7 @@ let to_yojson env =
         `List
           (Array.fold_right
              (fun (n, _guard, (r, _)) l ->
-               (*TODO add guard*)
+               (*rTODO add guard*)
                `List
                  [
                    (match n with
@@ -433,11 +433,11 @@ let of_yojson = function
                (function
                  | `List [ `Null; r ] ->
                    ( None,
-                     None (*TODO*),
+                     None (*rTODO*),
                      Loc.annot_with_dummy (LKappa.rule_of_json ~filenames r) )
                  | `List [ `String n; r ] ->
                    ( Some (Loc.annot_with_dummy n),
-                     None (*TODO*),
+                     None (*rTODO*),
                      Loc.annot_with_dummy (LKappa.rule_of_json ~filenames r) )
                  | _ -> raise Not_found)
                o