Re: RFC for a change in EmptyDataDecls instance deriving

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" wrote:

2015-07-15 19:55 GMT+02:00 Erik Hesselink :

...

[..] 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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries