CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 17:10:22 +03:00
Code Issues Projects Releases Wiki Activity

Fix missing case

Browse Source
This commit is contained in:
Raphaël Monat 2022-08-30 15:06:45 +02:00
parent 4455b8fb0c
commit 39110f53a5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/dcalc/typing.ml
View File

@ -255,7 +255,7 @@ let op_type (op : A.operator Marked.pos) : typ Marked.pos UnionFind.elem =
| A.Unop A.IntToRat -> arr it rt
| A.Unop A.MoneyToRat -> arr mt rt
| A.Unop A.RatToMoney -> arr rt mt
| Binop (Mult KDate) | Binop (Div KDate) | Unop (Minus KDate) ->
| Binop (Mult KDate) | Binop (Div (KDate | KDuration)) | Unop (Minus KDate) ->
Errors.raise_spanned_error pos "This operator is not available!"
(** {1 Double-directed typing} *)