/* -----------------------------------------------------------------------------
- * $Id: RetainerSet.h,v 1.2 2001/11/26 16:54:21 simonmar Exp $
*
* (c) The GHC Team, 2001
* Author: Sungwoo Park
#ifndef RETAINERSET_H
#define RETAINERSET_H
+#include <stdio.h>
+
#ifdef PROFILING
/*
*/
#define BINARY_SEARCH_THRESHOLD 8
-static inline rtsBool
+INLINE_HEADER rtsBool
isMember(retainer r, RetainerSet *rs)
{
int i, left, right; // must be int, not nat (because -1 can appear)
// the best place to define it.
void printRetainer(FILE *, retainer);
-#endif // PROFILING
-#endif // RETAINERSET_H
+#endif /* PROFILING */
+#endif /* RETAINERSET_H */