Fix scoped type variables for expression type signatures

[ghc-hetmet.git] / includes / Constants.h

diff --git a/includes/Constants.h b/includes/Constants.h
index 4f3c35b..ef2a486 100644 (file)
--- a/includes/Constants.h
+++ b/includes/Constants.h
@@ -230,6 +230,36 @@
 #define ThreadBlocked  4
 #define ThreadFinished 5
 
+/* 
+ * Flags for the tso->flags field.
+ *
+ * The TSO_DIRTY flag indicates that this TSO's stack should be
+ * scanned during garbage collection.  The link field of a TSO is
+ * always scanned, so we don't have to dirty a TSO just for linking
+ * it on a different list.
+ *
+ * TSO_DIRTY is set by 
+ *    - schedule(), just before running a thread,
+ *    - raiseAsync(), because it modifies a thread's stack
+ *    - resumeThread(), just before running the thread again
+ * and unset by the garbage collector (only).
+ */
+#define TSO_DIRTY   1
+
+/*
+ * TSO_LOCKED is set when a TSO is locked to a particular Capability.
+ */
+#define TSO_LOCKED  2
+
+/*
+ * TSO_BLOCKEX: the TSO is blocking exceptions
+ *
+ * TSO_INTERRUPTIBLE: the TSO can be interrupted if it blocks
+ * interruptibly (eg. with BlockedOnMVar).
+ */
+#define TSO_BLOCKEX       4
+#define TSO_INTERRUPTIBLE 8
+
 /* -----------------------------------------------------------------------------
    RET_DYN stack frames
    -------------------------------------------------------------------------- */