#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_ */
#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_ */