From b2e89f8c6a89ad675718acdf35cdd0abfafaad5a Mon Sep 17 00:00:00 2001 From: acondolu Date: Thu, 13 Jul 2017 18:19:33 +0200 Subject: [PATCH] Improved error messages --- ocaml/lambda4.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ocaml/lambda4.ml b/ocaml/lambda4.ml index 97a559a..e9aa59d 100644 --- a/ocaml/lambda4.ml +++ b/ocaml/lambda4.ml @@ -46,7 +46,7 @@ let first bound p var f = try f p i with Backtrack s -> -prerr_endline ("!!BACKTRACK!! " ^ s); +prerr_endline (">>>>>> BACKTRACK (reason: " ^ s ^") measure=$ "); List.iter (fun (r,l) -> r := l) (List.combine p.deltas (List.hd p.trail)) ; prerr_endline("Now trying var="^string_of_var var^" i="^string_of_int i); aux (i+1) @@ -158,7 +158,7 @@ let super_simplify ({div; ps; conv} as p) = let cast_to_ps = function #i_num_var as y -> (y : i_num_var) - | `Bottom | `Pacman -> raise (Backtrack "foo") + | `Bottom | `Pacman -> raise (Backtrack "BOT/PAC in ps") | t -> prerr_endline (print (t :> nf)); assert false (* algorithm failed *) -- 2.39.2