Equality constraints (~): type-theory behind them

Oliver Charles ollie at ocharles.org.uk
Sat Dec 22 12:00:47 UTC 2018


On Sat, Dec 22, 2018 at 11:08 AM Anthony Clayden
<anthony_clayden at clear.net.nz> 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.


More information about the Glasgow-haskell-users mailing list