diff options
| -rw-r--r-- | ghc/rts/StablePriv.h | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/ghc/rts/StablePriv.h b/ghc/rts/StablePriv.h new file mode 100644 index 0000000000..410560552b --- /dev/null +++ b/ghc/rts/StablePriv.h @@ -0,0 +1,12 @@ +/* ----------------------------------------------------------------------------- + * $Id: StablePriv.h,v 1.1 1999/01/26 14:18:38 simonm Exp $ + * + * Internal RTS API for stable names and stable ptrs. + * + * ---------------------------------------------------------------------------*/ + +extern void initStablePtrTable(void); +extern void markStablePtrTable(rtsBool full); +extern void enlargeStablePtrTable(void); +extern void gcStablePtrTable(rtsBool full); +extern StgWord lookupStableName(StgPtr p); |