Skip to content

Commit

Permalink
Dune fmt
Browse files Browse the repository at this point in the history
  • Loading branch information
BrianAnakPintar authored and ThinkOpenly committed Feb 1, 2025
1 parent 938eb8c commit 24b57ef
Showing 1 changed file with 9 additions and 8 deletions.
17 changes: 9 additions & 8 deletions src/sail_json_backend/json.ml
Original file line number Diff line number Diff line change
Expand Up @@ -204,14 +204,15 @@ let rec find_extensions e =
match e with
| E_aux (E_app (i, el), _) ->
debug_print ("E_app " ^ string_of_id i);
if String.equal (string_of_id i) "extensionEnabled" then (
List.map (fun exp ->
let ext_str = string_of_exp exp in
(* extensionEnabled enums are expected to be of the form "Ext_" + extension short name.
Remove the "Ext_" prefix and keep extension short name. *)
"\"" ^ String.sub ext_str 4 (String.length ext_str - 4) ^ "\""
) el
)
if String.equal (string_of_id i) "extensionEnabled" then
List.map
(fun exp ->
let ext_str = string_of_exp exp in
(* extensionEnabled enums are expected to be of the form "Ext_" + extension short name.
Remove the "Ext_" prefix and keep extension short name. *)
"\"" ^ String.sub ext_str 4 (String.length ext_str - 4) ^ "\""
)
el
else List.concat (List.map find_extensions el)
| _ ->
debug_print "E other";
Expand Down

0 comments on commit 24b57ef

Please sign in to comment.