let d =
try
Some (RS.from_env_for_unwind ~unwind (List.nth e (n-m-1)))
- with _ -> None
+ with Failure _ -> None
in
(match d with
Some t' ->
try
Some (RS.from_stack (List.nth s recindex))
with
- _ -> None
+ Failure _ -> None
in
(match recparam with
Some recparam ->