X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Frun.ml;h=3a042565c2c8bcd8184ecd5e16f915a141a8f2cf;hb=7fed0375c4c22c9ad355a31926d86f689cba898c;hp=5aad48440306772c591f153b9ad077968b6db756;hpb=0c83549ca2d42c26c0c9c2c5164247927d284adc;p=goals.git

diff --git a/src/run.ml b/src/run.ml
index 5aad484..3a04256 100644
--- a/src/run.ml
+++ b/src/run.ml
@@ -122,9 +122,12 @@ and needs_rebuild ?(final_check = false) env loc deps extra_deps pattern =
      let r = Eval.run_code env loc code in
      if r = 99 (* means "needs rebuild" *) then true
      else if r = 0 (* means "doesn't need rebuild" *) then false
-     else
-       failwithf "%a: predicate ‘%s’ failed with exit code %d"
-         Ast.string_loc loc pred r
+     else (
+       let targs = List.map (Ast.string_expr ()) targs in
+       let targs = String.concat ", " targs in
+       failwithf "%a: predicate ‘%s (%s)’ failed with exit code %d"
+         Ast.string_loc loc pred targs r
+     )
 
 and exists_runner env loc p debug_pred =
   Cmdline.debug "%a: running implicit existence rule for predicate %s"