On 2019-03-31 at 18:02:13 +0200, Bardur Arantsson wrote:
In all fairness, Herbert did state [1] he intends to write up the combination of AMP, MFP, and MNRP the way he likes it.
Did anything come of this?
Actually yes! I started prototyping how the library-report modules could like like in H2020 as an actual working prototype (needs at least GHC 8.6, as only GHC 8.6 has the MonadFail desugaring properly setup to make this work seamlessly w/o the need for consumers to enable {-# LANGUAGE RebindableSyntax #-}): http://hackage.haskell.org/package/haskell2020 as this is the easiest way to empirically evaluate whether the big picture makes any sense; This is a real package with proper versioning that can be depended upon by other packages on Hackage; breaking changes will be signalled via major version bumps). This package can be used just like the old `haskell2010` was used, i.e. in your `.cabal` file you simply state build-depends: haskell2020 == 0.1.* and do *not* declare a dependency on the `base` package. Unfortunately I got distracted and haven't yet finished the delta to the library report for AMP+MRP. I hope to get back to it soon to tie this up. Best, Herbert