From 5e15341857e57671a3c617579e3d5dcc89040936 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Fri, 10 Jan 2025 22:06:06 +0100 Subject: Print the float numbers using the user locale --- lib/configuration/read_conf.ml | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'lib/configuration/read_conf.ml') diff --git a/lib/configuration/read_conf.ml b/lib/configuration/read_conf.ml index 952c43c..df1a728 100644 --- a/lib/configuration/read_conf.ml +++ b/lib/configuration/read_conf.ml @@ -184,17 +184,18 @@ module Make (S : Decoders.Decode.S) = struct S.field_opt_or ~default:[] "uniq" @@ S.list (self#parse_expression ExpressionParser.path) in - S.succeed @@ fun version source externals -> - Syntax.{ version; source; externals; columns; filters; sort; uniq } + S.succeed @@ fun version source externals locale -> + Syntax. + { version; source; externals; columns; filters; sort; uniq; locale } method conf = let* source = S.field "source" self#source and* externals = S.field_opt_or ~default:[] "externals" (S.key_value_pairs_seq self#external_) - in + and* locale = S.field_opt "locale" S.string in let* sheet = - S.field "sheet" self#sheet >|= fun v -> v 1 source externals + S.field "sheet" self#sheet >|= fun v -> v 1 source externals locale in S.succeed sheet -- cgit v1.2.3