2022-01-13 14:43:23 +01:00
|
|
|
(** Error handling *)
|
|
|
|
|
|
|
|
|
|
(** Soft error in CPDF. *)
|
2021-10-02 13:22:59 +02:00
|
|
|
exception SoftError of string
|
2022-01-13 14:43:23 +01:00
|
|
|
|
|
|
|
|
(** Hard error in CPDF *)
|
2021-10-02 13:22:59 +02:00
|
|
|
exception HardError of string
|
2022-01-13 14:43:23 +01:00
|
|
|
|
|
|
|
|
(** Raise SoftError with the given string. *)
|
|
|
|
|
val error : string -> 'a
|
