[Haskell-cafe] using Typeable with STRefs

Antoine Latter aslatter at gmail.com
Mon Mar 16 22:03:05 EDT 2009


>
> Why not:
>
> data Value = forall a . Typeable a => V a
>
> type STValue s = STRef Value
>

This should be:

type STValue s = STRef s Value

Antoine


More information about the Haskell-Cafe mailing list