diff options
Diffstat (limited to 'byterun/startup.c')
| -rw-r--r-- | byterun/startup.c | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/byterun/startup.c b/byterun/startup.c index 99af427f0..6d66a0403 100644 --- a/byterun/startup.c +++ b/byterun/startup.c @@ -34,9 +34,6 @@ #include "mlvalues.h" #include "stacks.h" #include "sys.h" -#ifdef HAS_UI -#include "ui.h" -#endif #ifndef O_BINARY #define O_BINARY 0 @@ -182,39 +179,6 @@ static void parse_camlrunparam() } } -/* Print an uncaught exception and abort */ - -static void fatal_uncaught_exception(exn) - value exn; -{ - mlsize_t i; - value v; -#ifdef HAS_UI -#define errprintf1(fmt) ui_print_stderr(fmt, NULL) -#define errprintf2(fmt,arg) ui_print_stderr(fmt, (char *)(arg)) -#else -#define errprintf1(fmt) fprintf(stderr, fmt) -#define errprintf2(fmt,arg) fprintf(stderr, fmt, arg) -#endif - errprintf2("Fatal error: uncaught exception %s", - String_val(Field(Field(exn, 0), 0))); - if (Wosize_val(exn) >= 2) { - errprintf1("("); - for (i = 1; i < Wosize_val(exn); i++) { - if (i > 1) errprintf1(", "); - v = Field(exn, i); - if (Is_long(v)) - errprintf2("%ld", Long_val(v)); - else if (Tag_val(v) == String_tag) - errprintf2("\"%s\"", String_val(v)); - else - errprintf1("_"); - } - errprintf1(")"); - } - errprintf1("\n"); -} - extern void init_ieee_floats P((void)); /* Main entry point when loading code from a file */ |