Kakadu / zanuda / 18

coverage: 85.847% (-1.5%) from 87.346%
18

push

github

Kakadu 
Repair coverage testing

Signed-off-by: Kakadu <Kakadu@pm.me>

2032 of 2367 relevant lines covered (85.85%)

477.23 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

80.0
/src/fix/refactoring/Propose_function.ml
1 
[@@@ocaml.text "/*"]
2 









3



(** Copyright 2021-2025, Kakadu. *)










4












5



(** SPDX-License-Identifier: LGPL-3.0-or-later *)










6












7



[@@@ocaml.text "/*"]










8












9



open Tast_pattern










10



open Utils










11



open Typedtree










12












13



let first_case = function










14



  | h :: _ -> h




9✔





15



  | [] ->




×







16



    Format.eprintf "Error at %s %d\n%!" __FILE__ __LINE__;










17



    exit 1




×







18



;;










19












20



let get_match_constr_payload loc ematch_cases =










21



  let pat =




9✔





22



    let c = first_case ematch_cases in










23



    c.c_lhs




9✔





24



  in










25



  let point = Utils.{ loc; pos = Start } in










26



  let shift_point = shift_point_cnum point 5 in










27



  set_padding shift_point (pat_point pat Start) Space_padding;




9✔





28



  set_padding point shift_point (Padding "function")




9✔





29



;;










30












31



let get_propose_function_payload loc =










32



  set_empty_padding (make_point loc Start) (make_point loc End)




9✔





33



;;










34












35



(* TODO(Kakadu): describe difference between two locations *)










36



let register_fix ~loc scru_pat_loc cases =










37



  (* Format.printf "%s: %a\n%!" __FUNCTION__ My_printtyped.expr e; *)










38



  (* Format.printf "loc = %a\n%!" Location.print_loc loc; *)










39



  get_match_constr_payload loc cases;




9✔





40



  get_propose_function_payload scru_pat_loc




9✔





41



;;
























    

  • 

    •