blob: e543b0c8fd25fd8f2e8a1d95fc84ef30c3a5ec3f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
exception Exception of exn
exception Timeout
exception TacticFailure of exn
let _ = Errors.register_handler begin function
| Timeout -> Errors.errorlabstrm "Some timeout function" (Pp.str"Timeout!")
| Exception e -> Errors.print e
| TacticFailure e -> Errors.print e
| _ -> Pervasives.raise Errors.Unhandled
end
|