From 825bb7d5903a0fd5a153593204a08eaa1344eb0b Mon Sep 17 00:00:00 2001 From: ygrek Date: Sat, 25 Nov 2023 21:00:42 -0500 Subject: [PATCH] gen: ensure no trailing whitespace --- src/gen.ml | 2 +- src/gen_caml.ml | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/gen.ml b/src/gen.ml index 65838e8..7d6c23c 100644 --- a/src/gen.ml +++ b/src/gen.ml @@ -21,7 +21,7 @@ let (inc_indent,dec_indent,make_indent) = let print_indent () = print_string (make_indent ()) let indent s = print_indent (); print_string s -let indent_endline s = print_indent (); print_endline s +let indent_endline s = print_indent (); print_endline @@ String.trim s let output fmt = kprintf indent_endline fmt let output_l = List.iter indent_endline let print fmt = kprintf print_endline fmt diff --git a/src/gen_caml.ml b/src/gen_caml.ml index 9422601..c3d021c 100644 --- a/src/gen_caml.ml +++ b/src/gen_caml.ml @@ -218,7 +218,7 @@ let rec set_var index var = | SingleIn _ -> () | TupleList _ -> () | ChoiceIn { param = name; vars; _ } -> - output "begin match %s with " (make_param_name index name); + output "begin match %s with" (make_param_name index name); output "| [] -> ()"; output "| _ :: _ ->"; inc_indent (); @@ -227,7 +227,7 @@ let rec set_var index var = dec_indent (); output "end;" | Choice (name,ctors) -> - output "begin match %s with " (make_param_name index name); + output "begin match %s with" (make_param_name index name); ctors |> List.iteri begin fun i ctor -> match ctor with | Simple (param,args) -> -- 2.11.4.GIT