diff options
Diffstat (limited to '')
| -rw-r--r-- | compiler/Errors.ml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/compiler/Errors.ml b/compiler/Errors.ml index 8fb65bc1..4c51720f 100644 --- a/compiler/Errors.ml +++ b/compiler/Errors.ml @@ -39,4 +39,10 @@ let cassert_opt_meta (b : bool) (meta : Meta.meta option) (msg : string) = | None -> if b then let () = save_error (None) msg in - raise (CFailure msg)
\ No newline at end of file + raise (CFailure msg) + +let sanity_check b meta = cassert b meta "Internal error, please file an issue" +let sanity_check_opt_meta b meta = cassert_opt_meta b meta "Internal error, please file an issue" + +let exec_raise = craise +let exec_assert = cassert
\ No newline at end of file |