| V n ->
(try
lift l (cache_unwind (List.nth e (n - l)))
- with Failure _ -> V (n - l))
+ with Failure _ -> V n)
| L t -> L (aux (l+1) t)
| B -> B in
let t = aux 0 t in
(try
let e,t,s' = List.nth e n in
aux g (e,t,s'@s)
- with Invalid_argument "List.nth" | Failure _ -> m
+ with Invalid_argument _ | Failure _ -> m
)
| (e, B, _) -> (e, B, [])
| (e, L t, []) ->