[project @ 1998-12-02 13:17:09 by simonm]

[ghc-hetmet.git] / ghc / rts / Sanity.h

diff --git a/ghc/rts/Sanity.h b/ghc/rts/Sanity.h
new file mode 100644 (file)
index 0000000..7fc6b4f
--- /dev/null
+++ b/ghc/rts/Sanity.h
@@ -0,0 +1,20 @@
+/* -----------------------------------------------------------------------------
+ * $Id: Sanity.h,v 1.2 1998/12/02 13:28:44 simonm Exp $
+ *
+ * Prototypes for functions in Sanity.c
+ *
+ * ---------------------------------------------------------------------------*/
+
+#ifdef DEBUG
+/* debugging routines */
+extern void checkHeap  ( bdescr *bd, nat step );
+extern void checkStack ( StgPtr sp, StgPtr stack_end, StgUpdateFrame* su );
+extern void checkTSO   ( StgTSO* tso, nat step );
+
+extern StgOffset checkClosure( StgClosure* p );
+
+/* test whether an object is already on update list */
+extern rtsBool isBlackhole( StgTSO* tso, StgClosure* p );
+
+#endif /* DEBUG */
+