CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-19 16:28:12 +03:00
Code Issues Projects Releases Wiki Activity

Simplify format

Browse Source
This commit is contained in:
Raphaël Monat 2023-03-10 09:36:05 +01:00
parent b013f4257d
commit 1e1e3b538e
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
compiler/dcalc/from_scopelang.ml
View File

@ -916,14 +916,13 @@ let translate_scope_decl
| _ -> ctx)
ctx scope_variables
in
let date_rounding =
let date_rounding : date_rounding =
match List.find_opt
(function Desugared.Ast.DateRounding _ -> true)
sigma.scope_options with
| Some (Desugared.Ast.DateRounding Desugared.Ast.Increasing) ->
(RoundUp : Runtime_ocaml.Runtime.date_rounding)
| Some (Desugared.Ast.DateRounding Desugared.Ast.Increasing) -> RoundUp
| Some (DateRounding Decreasing) -> RoundDown
| None -> Dates_calc.Dates.AbortOnRound
| None -> AbortOnRound
in
let ctx = { ctx with date_rounding } in
let scope_input_var = scope_sig.scope_sig_input_var in