Re: [Haskell-cafe] Making MVar and Chan Instances of Typeable
5 Nov
2004
5 Nov
'04
10:20 a.m.
nstance Typeable a => Typeable (MVar a) where typeOf (x::x) = mkAppTy (mkTyCon "Control.Concurrent.MVar.MVar") [typeOf (undefined::x)] Keean.
5 Nov
5 Nov
9:07 a.m.
New subject: Making MVar and Chan Instances of Typeable
On Friday 05 November 2004 16:20, MR K P SCHUPKE wrote:
nstance Typeable a => Typeable (MVar a) where typeOf (x::x) = mkAppTy (mkTyCon "Control.Concurrent.MVar.MVar") [typeOf (undefined::x)]
I may be missing something but this look like an open recursion to me. The type 'x' is 'MVar a', but what is needed is the 'a'. Ben
7501
Age (days ago)
7501
Last active (days ago)
1 comments
2 participants
participants (2)
-
Benjamin Franksen -
MR K P SCHUPKE