blob: b725d42c6be4cec810e5e82ebbdb161cdc96c6a8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#include "sail_failure.h"
void sail_match_failure(sail_string msg)
{
fprintf(stderr, "Pattern match failure in %s\n", msg);
exit(EXIT_FAILURE);
}
unit sail_assert(bool b, sail_string msg)
{
if (b) return UNIT;
fprintf(stderr, "Assertion failed: %s\n", msg);
exit(EXIT_FAILURE);
}
|
