diff options
Diffstat (limited to 'lib/nostd/sail_failure.h')
| -rw-r--r-- | lib/nostd/sail_failure.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/nostd/sail_failure.h b/lib/nostd/sail_failure.h index fd339097..61ada596 100644 --- a/lib/nostd/sail_failure.h +++ b/lib/nostd/sail_failure.h @@ -1,6 +1,8 @@ #ifndef __SAIL_FAILURE__ #define __SAIL_FAILURE__ +#include <stdbool.h> + /* * Called when some builtin hits an unexpected case, such as overflow * when using 64- or 128-bit integers. @@ -12,4 +14,9 @@ void sail_failure(char *message); */ void sail_match_failure(char *message); +/* + * Implements the Sail assert construct + */ +int sail_assert(bool result, char *message); + #endif |