src/Errors.ml


1
2
3
4
5
6
7
8
9
10

exception IntegerOverflow of unit

(* TODO: remove those *)
exception Unimplemented of string

let unimplemented msg = raise (Unimplemented ("unimplemented: " ^ msg))

exception Unreachable of string

let unreachable msg = raise (Unreachable ("unreachable: " ^ msg))