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

chaging pretty printer for type to Dcalc.Print.format_typ

Browse Source
This commit is contained in:
Alain 2022-02-09 11:50:04 +01:00
parent bd0fe18cc3
commit 72da935392
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
compiler/lcalc/compile_without_exceptions.ml
View File

@ -540,9 +540,12 @@ let translate_program (prgm : D.program) : A.program =
|> D.StructMap.mapi (fun n l ->
if List.mem n inputs_structs then
ListLabels.map l ~f:(fun (n, tau) ->
Cli.debug_print @@ Format.asprintf "Input type: %a" D.pp_typ (fst tau);
Cli.debug_print
@@ Format.asprintf "Output type: %a" D.pp_typ (fst (translate_typ tau));
@@ Format.asprintf "Input type: %a" (Dcalc.Print.format_typ prgm.decl_ctx) tau;
Cli.debug_print
@@ Format.asprintf "Output type: %a"
(Dcalc.Print.format_typ prgm.decl_ctx)
(translate_typ tau);
(n, translate_typ tau))
else l);
}