<br><br><div class="gmail_quote">2012/2/24 Maxime Henrion <span dir="ltr"><<a href="mailto:mhenrion@gmail.com">mhenrion@gmail.com</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="HOEnZb"><div class="h5">On Fri, 2012-02-24 at 07:49 +0100, Jos Pedro Magalhes wrote:<br>
> Hi,<br>
><br>
> 2012/2/23 Maxime Henrion <<a href="mailto:mhenrion@gmail.com">mhenrion@gmail.com</a>><br>
><br>
> > * Why do you have the instance:<br>
> ><br>
> > instance GDeepSeq V1 where grnf _ = ()<br>
> ><br>
> > The only way to construct values of a void type is using ⊥.<br>
> And I<br>
> > would expect that rnf ⊥ = ⊥, not (). I think the best thing<br>
> is to just<br>
> > remove the V1 instance.<br>
><br>
><br>
> This would have the consequence that any type tagged with a<br>
> phantom type<br>
> (for whatever reason) couldn't be used with deepseq, it would<br>
> return<br>
> bottom. What if I want to deepseq a 2-3 finger tree tagged<br>
> with a<br>
> type-level natural that ensures the proper shape of the tree<br>
> statically?<br>
> It seemed to me that I should be able to do that; this is why<br>
> I added<br>
> this V1 instance.<br>
><br>
> I'm not sure I understand your comment... V1 should only be used for<br>
> datatypes without constructors, such as `data Empty`.<br>
<br>
</div></div>Yes, such as the usual type-level naturals (not using DataKinds):<br>
<br>
data Z<br>
data S n<br>
<br>
Those can be used to tag a type which also contains actual values that<br>
you would want to deepseq? For example, a length-type vector?</blockquote><div><br>But in those cases they are used as tags, not as values, and hence do not show up in the generic representation. So if all you want is to be able to deepseq a value of a type like<br>
<br><blockquote style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex;font-family:courier new,monospace" class="gmail_quote">data Proxy t = Proxy<br></blockquote><br>even if your value is of type `Proxy Ze`, you shouldn't need a `V1` instance.<br>
<br><br>Cheers,<br>Pedro<br><br></div></div>