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

Typer: on error, print the expression being typed in debug mode

Browse Source 
useful when typing fails on internally generated expressions
This commit is contained in:
Louis Gesbert 2023-11-02 15:44:49 +01:00
parent 63f0cad312
commit 4fa9326618
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
compiler/shared_ast/typing.ml
View File

@ -222,8 +222,10 @@ let handle_type_error ctx (A.AnyExpr e) t1 t2 =
[
( Some
(fun ppf ->
Format.pp_print_string ppf
"Error coming from typechecking the following expression:"),
Format.fprintf ppf
"@[<hv 2>Error coming from typechecking the following expression:";
if Cli.globals.debug then Format.fprintf ppf "@ %a@]" Expr.format e
else Format.pp_close_box ppf ()),
Expr.pos e );
( Some
(fun ppf ->