RFC for a change in EmptyDataDecls instance deriving

David Feuer david.feuer at gmail.com
Thu Jul 16 03:28:03 UTC 2015


It's all a bit weird. I think the Proxy instance is lazy too. I would tend
to think that empty types shouldn't have these instances, and that if they
do that should be strict (empty case), but I can't prove that's the right
way.
On Jul 15, 2015 5:53 PM, "Sven Panne" <svenpanne at gmail.com> wrote:

> 2015-07-15 19:55 GMT+02:00 Erik Hesselink <hesselink at gmail.com>:
>
>> [..] 3) I have no idea. What's the rationale behind returning True when
>> comparing two Voids? [...]
>>
>
> Hmmm, what's the rationale of throwing an exception? I can imagine True,
> False, throwing an exception etc., but I can't see a reason why one should
> be "better" or "more natural" than the other.
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20150715/e810db32/attachment.html>


More information about the Libraries mailing list