Fractional precedences? Re: Operator precedence help

[Andreas Abel]

For Agda, it was very little work to implement fractional precedences:

   https://github.com/agda/agda/pull/3992

On 2020-08-17 18:12, Carter Schonwald wrote:
> Oh yeah!
> 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.
> 
> On Mon, Aug 17, 2020 at 9:40 AM Henning Thielemann 
> <lemming at henning-thielemann.de <mailto:lemming at henning-thielemann.de>> 
> wrote:
> 
> 
>     On Sun, 16 Aug 2020, Carter Schonwald wrote:
> 
>      > I do think that the work needed to actually support fractional
>      > precedence in ghc is pretty minimal.  Or at least I remember
>     having a
>      > conversation about it a few years ago, and the conclusion was that
>      >  adding precedence would be super easy to do, but just lacked any
>     good
>      > motivating example from real libraries.
> 
>     I remember this discussion, too, and I guess that it was started by
>     Simon
>     Marlow and it ended with recalling that decades ago something more
>     advanced was discussed: Groups of equal precedence and relations
>     between
>     the groups. But that one was too complicated to be implemented.
> 
> 
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>