<div><div dir="auto">Oh yeah!</div></div><div dir="auto">I feel like everyone’s wondered about that approach. But it definitely would need some experiments to validate. But in some ways it’d be super fascinating. </div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Aug 17, 2020 at 9:40 AM Henning Thielemann <<a href="mailto:lemming@henning-thielemann.de">lemming@henning-thielemann.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
On Sun, 16 Aug 2020, Carter Schonwald wrote:<br>
<br>
> I do think that the work needed to actually support fractional <br>
> precedence in ghc is pretty minimal.  Or at least I remember having a <br>
> conversation about it a few years ago, and the conclusion was that <br>
>  adding precedence would be super easy to do, but just lacked any good <br>
> motivating example from real libraries. <br>
<br>
I remember this discussion, too, and I guess that it was started by Simon <br>
Marlow and it ended with recalling that decades ago something more <br>
advanced was discussed: Groups of equal precedence and relations between <br>
the groups. But that one was too complicated to be implemented.</blockquote></div></div>