src/Errors.ml


1
2
3
4
5
6
7
8
9

exception IntegerOverflow of unit

exception Unimplemented of string

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

exception Unreachable of string

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