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

correct printing of option type

Browse Source
This commit is contained in:
adelaett 2023-03-28 09:52:40 +02:00
parent 9806eb7e0f
commit ba1c83f278
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/shared_ast/print.ml
View File

@ -111,7 +111,9 @@ let rec typ (ctx : decl_ctx option) (fmt : Format.formatter) (ty : typ) : unit =
typ mty))
(EnumConstructor.Map.bindings (EnumName.Map.find e ctx.ctx_enums))
punctuation "]")
| TOption t -> Format.fprintf fmt "@[<hov 2>%a@ %a@]" base_type "option" typ t
| TOption t ->
Format.fprintf fmt "@[<hov 2>%a@ %a%a%a@]" base_type "option" punctuation
"(" typ t punctuation ")"
| TArrow ([t1], t2) ->
Format.fprintf fmt "@[<hov 2>%a@ %a@ %a@]" typ_with_parens t1 op_style "→"
typ t2