Also include argument bounds in bounds-analysis-failure message

This will be required to correctly stringify the syntax tree for the error message

1 files changed, 2 insertions, 2 deletions

diff --git a/src/Experiments/SimplyTypedArithmetic.v b/src/Experiments/SimplyTypedArithmetic.v
index 457838787..002fbd198 100644
--- a/src/Experiments/SimplyTypedArithmetic.v
+++ b/src/Experiments/SimplyTypedArithmetic.v
@@ -6543,7 +6543,7 @@ Module Pipeline.
   Inductive ErrorMessage :=
   | Computed_bounds_are_not_tight_enough
       {t} (computed_bounds expected_bounds : ZRange.type.option.interp t)
-      {t'} (syntax_tree : Expr t')
+      {s} (syntax_tree : Expr (s -> t)) (arg_bounds : ZRange.type.option.interp s)
   | Bounds_analysis_failed
   | Type_too_complicated_for_cps (t : type)
   | Value_not_le (descr : string) {T'} (lhs rhs : T')
@@ -6602,7 +6602,7 @@ Module Pipeline.
              match E with
              | inl E => Success E
              | inr (b, E)
-               => Error (Computed_bounds_are_not_tight_enough b out_bounds E)
+               => Error (Computed_bounds_are_not_tight_enough b out_bounds E arg_bounds)
              end)
        | None => Error (Type_too_complicated_for_cps t)
        end.