···

       
15
       
 
       
    |> List.rev

     

       
16
       
 
       
  with _ -> []

     

       
17
       
 
       


     

       
18
       
-
       
(** Normalize whitespace: collapse multiple spaces/tabs to single space *)

     

       
19
       
 
       
let normalize_whitespace s =

     

       
20
       
-
       
  let s = Str.global_replace (Str.regexp "[ \t]+") " " s in

     

       
21
       
-
       
  String.trim s

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
22
       
 
       


     

       
23
       
 
       
(** Clean up excessive newlines and normalize spacing *)

     

       
24
       
 
       
let cleanup_markdown s =

     

···

       
15
       
 
       
    |> List.rev

     

       
16
       
 
       
  with _ -> []

     

       
17
       
 
       


     

       
18
       
+
       
(** Normalize whitespace while preserving boundary spaces *)

     

       
19
       
 
       
let normalize_whitespace s =

     

       
20
       
+
       
  let len = String.length s in

     

       
21
       
+
       
  if len = 0 then ""

     

       
22
       
+
       
  else

     

       
23
       
+
       
    (* Check if original had leading/trailing whitespace *)

     

       
24
       
+
       
    let has_leading = len > 0 && (s.[0] = ' ' || s.[0] = '\t' || s.[0] = '\n' || s.[0] = '\r') in

     

       
25
       
+
       
    let has_trailing = len > 0 && (s.[len-1] = ' ' || s.[len-1] = '\t' || s.[len-1] = '\n' || s.[len-1] = '\r') in

     

       
26
       
+
       


     

       
27
       
+
       
    (* Collapse multiple whitespace to single space *)

     

       
28
       
+
       
    let normalized = Str.global_replace (Str.regexp "[ \t\n\r]+") " " s in

     

       
29
       
+
       
    let trimmed = String.trim normalized in

     

       
30
       
+
       


     

       
31
       
+
       
    (* If the trimmed result is empty but there was whitespace, return single space *)

     

       
32
       
+
       
    if trimmed = "" && (has_leading || has_trailing) then " "

     

       
33
       
+
       
    else

     

       
34
       
+
       
      (* Add back boundary spaces if they existed *)

     

       
35
       
+
       
      let result =

     

       
36
       
+
       
        (if has_leading && trimmed <> "" then " " else "") ^

     

       
37
       
+
       
        trimmed ^

     

       
38
       
+
       
        (if has_trailing && trimmed <> "" then " " else "")

     

       
39
       
+
       
      in

     

       
40
       
+
       
      result

     

       
41
       
 
       


     

       
42
       
 
       
(** Clean up excessive newlines and normalize spacing *)

     

       
43
       
 
       
let cleanup_markdown s =