diff options
Diffstat (limited to 'includes/rts/Hooks.h')
| -rw-r--r-- | includes/rts/Hooks.h | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/includes/rts/Hooks.h b/includes/rts/Hooks.h new file mode 100644 index 0000000000..4fe50b4b9f --- /dev/null +++ b/includes/rts/Hooks.h @@ -0,0 +1,21 @@ +/* ----------------------------------------------------------------------------- + * + * (c) The GHC Team, 1998-1999 + * + * User-overridable RTS hooks. + * + * ---------------------------------------------------------------------------*/ + +#ifndef RTS_HOOKS_H +#define RTS_HOOKS_H + +extern char *ghc_rts_opts; + +extern void OnExitHook (void); +extern int NoRunnableThreadsHook (void); +extern void StackOverflowHook (unsigned long stack_size); +extern void OutOfHeapHook (unsigned long request_size, unsigned long heap_size); +extern void MallocFailHook (unsigned long request_size /* in bytes */, char *msg); +extern void defaultsHook (void); + +#endif /* RTS_HOOKS_H */ |