From 8a9f213919cf2e33551789d38660e7c69b3834bf Mon Sep 17 00:00:00 2001 From: solomon Date: Tue, 29 Aug 2023 23:24:53 -0700 Subject: [PATCH] Fixes line breaks in ConversionError pretty printer --- lib/refiner/Eff.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/refiner/Eff.ml b/lib/refiner/Eff.ml index 685f9b5..50647a0 100644 --- a/lib/refiner/Eff.ml +++ b/lib/refiner/Eff.ml @@ -420,7 +420,7 @@ let equate ~tp v1 v2 = let tm1 = Quote.quote ~env ~tp v1 in let tm2 = Quote.quote ~env ~tp v2 in Debug.print "Unequal:@.%a@.%a@." S.dump tm1 S.dump tm2; - Error.error `ConversionError "Could not solve %a = %a@." + Error.error `ConversionError "@[Could not solve:@ @[%a@] = @[%a@]@]" (S.pp ppenv (Precedence.left_of S.equals)) tm1 (S.pp ppenv (Precedence.right_of S.equals)) tm2