CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-20 00:41:05 +03:00
Code Issues Projects Releases Wiki Activity

Fix operator printing

Browse Source
This commit is contained in:
Raphaël Monat 2023-02-21 18:22:57 +01:00
parent 6dac7007f2
commit 5fc1e8e5d5
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
compiler/shared_ast/operator.ml
View File

@ -52,11 +52,11 @@ let name : type a k. (a, k) t -> string = function
| Add_int_int -> "o_add_int_int"
| Add_rat_rat -> "o_add_rat_rat"
| Add_mon_mon -> "o_add_mon_mon"
| Add_dat_dur rm -> begin
match rm with
| RoundUp -> "o_add_dat_dur(u)"
| RoundDown -> "o_add_dat_dur(d)"
| AbortOnRound -> "o_add_dat_dur(a)"
| Add_dat_dur rm ->
begin match rm with
| RoundUp -> "o_add_dat_dur RoundUp"
| RoundDown -> "o_add_dat_dur RoundDown"
| AbortOnRound -> "o_add_dat_dur AbortOnRound"
end
| Add_dur_dur -> "o_add_dur_dur"
| Sub -> "o_sub"