<div dir="auto">I think the only time they're not potentially contradictory is when you're dealing with singletons, and that's a pretty special case.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Oct 27, 2021, 11:15 AM Carter Schonwald <<a href="mailto:carter.schonwald@gmail.com">carter.schonwald@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">not necessarily ... there could be  contradictory sets of methods! :) <div><br></div><div>like the minimal sets for Field type class,  the xor would be for defining '/' in terms of reciprocal and times or vice versa (/ vs recip) and likewise (negate vs minus) etc etc</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Oct 27, 2021 at 6:38 AM Henning Thielemann <<a href="mailto:lemming@henning-thielemann.de" target="_blank" rel="noreferrer">lemming@henning-thielemann.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
On Mon, 25 Oct 2021, Carter Schonwald wrote:<br>
<br>
> i agree with Tom and Hecate,more strongly: <br>
>  <a href="https://github.com/ghc/ghc/blob/98aa29d3fe447cce3407e6864b015892244bb475/libraries/ghc-prim/GHC/Classes.hs#L142-L150" rel="noreferrer noreferrer" target="_blank">https://github.com/ghc/ghc/blob/98aa29d3fe447cce3407e6864b015892244bb475/libraries/ghc-prim/GHC/Classes.hs#L142-L150</a> <br>
> the current definition DOES NOT require defining both. <br>
> <br>
> as it currently stands, you only need to define one of '==' XOR  '/='<br>
> <br>
> this actually suggests an interesting and DIFFERENT ecosystem improvement, (ignoring IEEE non-signalling NANs),<br>
> namely we add support for XOR to minimal pragma syntax and issue a warning <br>
> <br>
> perhaps something like adding (XOR "reason String" clauseExpr1 clauseexpr2) ?<br>
<br>
The problem of implementing two methods in a contradictory way arises for <br>
any OR in MINIMAL pragma, right?</blockquote></div>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank" rel="noreferrer">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div>