import GHC.Pack ( packCString# )
import GHC.Ptr ( Ptr(..), plusPtr, FunPtr(..) )
import GHC.STRef
+import Data.Typeable
+#include "Typeable.h"
infixr 0 `par`, `pseq`
\end{code}
it defines 'ThreadId' as a synonym for ().
-}
+INSTANCE_TYPEABLE0(ThreadId,threadIdTc,"ThreadId")
+
+
--forkIO has now been hoisted out into the Concurrent library.
{- | 'killThread' terminates the given thread (GHC only).
\begin{code}
newtype STM a = STM (State# RealWorld -> (# State# RealWorld, a #))
+INSTANCE_TYPEABLE1(STM,stmTc,"STM" )
+
unSTM :: STM a -> (State# RealWorld -> (# State# RealWorld, a #))
unSTM (STM a) = a
data TVar a = TVar (TVar# RealWorld a)
+INSTANCE_TYPEABLE1(TVar,tvarTc,"TVar" )
+
instance Eq (TVar a) where
(TVar tvar1#) == (TVar tvar2#) = sameTVar# tvar1# tvar2#
\begin{code}
--Defined in IOBase to avoid cycle: data MVar a = MVar (SynchVar# RealWorld a)
+INSTANCE_TYPEABLE1(MVar,mvarTc,"MVar" )
+
-- |Create an 'MVar' which is initially empty.
newEmptyMVar :: IO (MVar a)
newEmptyMVar = IO $ \ s# ->