27 lines · 641 B · C
RawDownload
#ifndef _fail_#define _fail_ #include <setjmp.h>#include "misc.h"#include "mlvalues.h" struct longjmp_buffer {  jmp_buf buf;}; extern struct longjmp_buffer * external_raise;extern value exn_bucket; EXTERN Noreturn mlraise(value);EXTERN Noreturn raiseprimitive0(int exnindex);EXTERN Noreturn raiseprimitive1(int exnindex, value arg);EXTERN Noreturn raise_with_string(int exnindex, char * msg);EXTERN Noreturn failwith(char *);EXTERN Noreturn invalid_argument(char *);EXTERN Noreturn raise_overflow(void);EXTERN Noreturn raise_out_of_memory(void);extern volatile int float_exn; extern double maxdouble; #endif /* _fail_ */