blob: 22fe5753c9496b39d8850681e94710157301edac (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#include "share/atspre_staload.hats"
#define ATS_DYNLOADFLAG 0
staload "kernel/output/writer.sats"
extern fun print_newline() : void
implement print_newline() : void = put_string("\n")
extern fun assert_errmsg(b: bool, msg: string) : void
implement assert_errmsg(b: bool, msg: string) : void = put_string(msg)
overload print with put_string of 1
macdef assertloc(tf) = assert_errmsg (,(tf), $mylocation)
|