blob: 61ada596f56fbf6a8ee57e5d24c1c1e5b999fd1b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#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.
*/
void sail_failure(char *message);
/*
* Called for pattern match failures
*/
void sail_match_failure(char *message);
/*
* Implements the Sail assert construct
*/
int sail_assert(bool result, char *message);
#endif
|
