- let f = function
- | Some (_, Z.Abst w) -> f x w
- | Some (_, Z.Abbr (Z.Cast (w, v))) -> f x w
- | Some (_, Z.Abbr _) -> assert false
- | Some (_, Z.Void) ->
- error1 "reference to excluded variable" c x
- | None ->
- error1 "variable not found" c x
+ let err () = error1 "variable not found" c x in
+ let f _ = function
+ | Z.Abst w -> f x w
+ | Z.Abbr (Z.Cast (w, v)) -> f x w
+ | Z.Abbr _ -> assert false
+ | Z.Void -> error1 "reference to excluded variable" c x