[project @ 1999-01-26 14:18:38 by simonm]

Add missing file.

diff --git a/ghc/rts/StablePriv.h b/ghc/rts/StablePriv.h
new file mode 100644 (file)
index 0000000..4105605
--- /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);