Merge branch 'gardening/bad_pp_error_stacking' into 'dev'

gardening: fix bad error PP that can appear in tests

See merge request ligolang/ligo!703
This commit is contained in:
Rémi Lesenechal 2020-07-01 16:54:20 +00:00
commit 42893548c5

View File

@ -59,7 +59,7 @@ let rec error_ppformat : display_format:string display_format ->
Format.pp_print_string f s ;
| `Stacking_expression_tracer (e,ty,err) ->
Format.fprintf f
"@[<hv>compiling expression@%a of type %a@%a]"
"@[<hv>compiling expression %a@ of type %a@ %a]"
Mini_c.PP.expression e
Mini_c.PP.type_variable ty
(error_ppformat ~display_format) err