Re: Equality constraints (~): type-theory behind them
Oliver Charles <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.glasgow.user |
|---|---|
| Message-ID | <CAGRp5Rk7rnEr1Wa9r4wZ+3EPg=3bttnEVYX+tX=kD9-k8OFQ0w@mail.gmail.com> |
On Sat, Dec 22, 2018 at 11:08 AM Anthony Clayden <[email protected]> wrote: > So the paper's main motivation is wrt Trac #9670. Are you sure you mean #9670? https://ghc.haskell.org/trac/ghc/ticket/9670 is "Make Data.List.tails a good producer for list fusion" and has nothing to do with functional dependencies. _______________________________________________ Glasgow-haskell-users mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users