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 _______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe
