diff options
Diffstat (limited to 'includes/Hooks.h')
| -rw-r--r-- | includes/Hooks.h | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/includes/Hooks.h b/includes/Hooks.h new file mode 100644 index 0000000000..38014cc8f7 --- /dev/null +++ b/includes/Hooks.h @@ -0,0 +1,20 @@ +/* ----------------------------------------------------------------------------- + * + * (c) The GHC Team, 1998-1999 + * + * User-overridable RTS hooks. + * + * ---------------------------------------------------------------------------*/ + +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); +#if defined(PAR) +extern void InitEachPEHook (void); +extern void ShutdownEachPEHook (void); +#endif |