2007-09-25 04:37:45 -04:00
|
|
|
#undef _WIN32_WINNT
|
|
|
|
#define _WIN32_WINNT 0x0501 // For AddVectoredExceptionHandler
|
|
|
|
|
2007-09-20 18:09:08 -04:00
|
|
|
#ifndef UNICODE
|
|
|
|
#define UNICODE
|
|
|
|
#endif
|
|
|
|
|
|
|
|
typedef char F_SYMBOL;
|
|
|
|
|
|
|
|
#define unbox_symbol_string unbox_char_string
|
|
|
|
#define from_symbol_string from_char_string
|
|
|
|
|
|
|
|
#define FACTOR_OS_STRING "windows"
|
|
|
|
#define FACTOR_DLL L"factor-nt.dll"
|
|
|
|
#define FACTOR_DLL_NAME "factor-nt.dll"
|
2007-09-25 04:37:45 -04:00
|
|
|
|
2007-09-27 16:10:37 -04:00
|
|
|
void c_to_factor_toplevel(CELL quot);
|
|
|
|
|
2007-09-25 04:37:45 -04:00
|
|
|
CELL signal_number;
|
|
|
|
CELL signal_fault_addr;
|
|
|
|
void *signal_callstack_top;
|
|
|
|
|
|
|
|
void memory_signal_handler_impl(void);
|
|
|
|
void divide_by_zero_signal_handler_impl(void);
|
|
|
|
void misc_signal_handler_impl(void);
|