-/*** Messages ***/
-
-int debug_mode;
-int debug_indent;
-
-void debug(const char *msg, ...)
-{
- if (!debug_mode)
- return;
- va_list args;
- va_start(args, msg);
- fprintf(stderr, "%*s", debug_indent, "");
- vfprintf(stderr, msg, args);
- fputc('\n', stderr);
- va_end(args);
-}
-
-void warn(const char *msg, ...)
-{
- va_list args;
- va_start(args, msg);
- fprintf(stderr, "WARNING: ");
- vfprintf(stderr, msg, args);
- fputc('\n', stderr);
- va_end(args);
-}
-
-void die(const char *msg, ...)
-{
- va_list args;
- va_start(args, msg);
- fprintf(stderr, "ERROR: ");
- vfprintf(stderr, msg, args);
- fputc('\n', stderr);
- va_end(args);
- exit(1);
-}
-
-void bad(const char *msg, ...)
-{
- va_list args;
- va_start(args, msg);
- char buf[1024];
- vsnprintf(buf, sizeof(buf), msg, args);
- va_end(args);
-
- printf("error: %s\n", buf);
- die("BAD: %s", buf);
-}
-