diff options
Diffstat (limited to 'rts/BlockAlloc.h')
| -rw-r--r-- | rts/BlockAlloc.h | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/rts/BlockAlloc.h b/rts/BlockAlloc.h new file mode 100644 index 0000000000..1472ac6f76 --- /dev/null +++ b/rts/BlockAlloc.h @@ -0,0 +1,19 @@ +/* ----------------------------------------------------------------------------- + * + * (c) The GHC Team, 1998-1999 + * + * Block Allocator Interface + * + * ---------------------------------------------------------------------------*/ + +#ifndef BLOCK_ALLOC_H +#define BLOCK_ALLOC_H + +/* Debugging -------------------------------------------------------------- */ + +#ifdef DEBUG +extern void checkFreeListSanity(void); +nat countFreeList(void); +#endif + +#endif /* BLOCK_ALLOC_H */ |