[Haskell-cafe] ANN: generic-deepseq 1.0.0.0

[Maxime Henrion]

On Thu, 2012-02-23 at 23:45 +0100, Maxime Henrion wrote:
> On Thu, 2012-02-23 at 23:24 +0100, Bas van Dijk wrote:
> > * Why do you have the instance:
> > 
> > instance GDeepSeq V1 where grnf _ = ()
> > 
> > The only way to construct values of a void type is using ⊥. And I
> > would expect that rnf ⊥ = ⊥, not (). I think the best thing is to just
> > remove the V1 instance.
> 
> This would have the consequence that any type tagged with a phantom type
> (for whatever reason) couldn't be used with deepseq, it would return
> bottom. 

Sorry, I had myself confused; it wouldn't return bottom, there would
just be no way to get an instance for it (the rest of the argument still
holds).
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 834 bytes
Desc: This is a digitally signed message part
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120224/76dc63e6/attachment.pgp>