search

haskell / rfcs

This repo is archived, consider using https://github.com/ghc-proposals/ghc-proposals instead
98 stars 17 forks source link

Complete the relaxed dependency analysis, a.k.a. -XRelaxedPolyRec #17

Closed blamario closed 5 years ago

blamario commented 7 years ago

Rendered proposal: https://github.com/blamario/rfcs/blob/RelaxedPolyRec/0000-relaxed-dependency-analysis.rst

blamario commented 6 years ago

I had to update the RFC's link to the GHC User's Guide because its relevant section got removed between GHC 8.0.1 and GHC 8.2.1:

https://github.com/ghc/ghc/commit/feaa31fbc41685d69045ac8d34be4e18f4f27ffd#diff-02e7842997523ff8a5ad0312df2edfe2

Furthermore, even though I see no mention of it in GHC release notes, -XRelaxedPolyRec now appears to be active all the time and cannot be turned off:

$ ghc -XNoRelaxedPolyRec
on the commandline: warning:
    -XNoRelaxedPolyRec is deprecated: You can't turn off RelaxedPolyRec any more
ghc: no input files

I suppose this only makes this proposal more important: GHC has burned another bridge with Haskell 2010.

goldfirere commented 6 years ago

+1 from me. Thanks for putting this together.

zenzike commented 6 years ago

+1 from me too. Thanks!