Re: [ANNOUNCE] GHC 8.2.2 released

2017-12-14 Thread Jens Petersen
On 22 November 2017 at 07:00, Ben Gamari wrote: > The Glasgow Haskell Compiler -- version 8.2.2 Thanks, I have finally built it for current Fedora releases and EPEL7 in my Copr repo: https://copr.fedorainfracloud.org/coprs/petersen/ghc-8.2.2 Jens

Re: [was ghc-devs] Reasoning backwards with type families

2017-12-14 Thread Clinton Mead
Happy to go with the bogusness if it works better than injective types, feel free to submit a patch. :) On Thu, 14 Dec 2017 at 9:08 pm, Anthony Clayden < anthony_clay...@clear.net.nz> wrote: > On Thu, 14 Dec 2017 at 4:13 PM, Clinton Mead > wrote: > >> >> I've panicked

Re: [was ghc-devs] Reasoning backwards with type families

2017-12-14 Thread Anthony Clayden
On Thu, 14 Dec 2017 at 4:13 PM, Clinton Mead wrote: > > I've panicked GHC enough whilst developing Freelude so whilst I'm not sure > exactly what you're saying I'd be hestiant about exploiting anything bogus > (8.2 btw seems far more stable than 8.0 btw). > ;-) Fair