RE: Guarded Impredicativity implementation

Alejandro may want to comment… From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Artem Pelenitsyn Sent: 26 February 2018 17:05 To: ghc-devs@haskell.org Subject: Guarded Impredicativity implementation Dear ghc-devs, Is there any work has been done on the latest (ttbomk) proposal

Re: Help with build ordering issue

On 26/02/2018 19:19, Ben Gamari wrote: Sylvain Henry writes: On 25/02/2018 21:30, Ben Gamari wrote: Hmm, I'm afraid that's not particularly illuminating. It would be helpful to see the output from -ddump-if-trace as this will tell you why GHC is trying to load this

Re: Help with build ordering issue

Sylvain Henry writes: > On 25/02/2018 21:30, Ben Gamari wrote: >> Hmm, I'm afraid that's not particularly illuminating. >> >> It would be helpful to see the output from -ddump-if-trace as this will >> tell you why GHC is trying to load this interface file. > > Thanks, it has

Guarded Impredicativity implementation

Dear ghc-devs, Is there any work has been done on the latest (ttbomk) proposal for impredicative types in Haskell: > Guarded impredicative polymorphism by Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones

Re: Help with build ordering issue

On 25/02/2018 21:30, Ben Gamari wrote: Hmm, I'm afraid that's not particularly illuminating. It would be helpful to see the output from -ddump-if-trace as this will tell you why GHC is trying to load this interface file. Thanks, it has been helpful. The relevant trace is: Need decl for

Re: [ANNOUNCE] GHC 8.4.1-rc1 available

Vincent Hanquez writes: > On 25/02/18 17:42, Ben Gamari wrote: >> The GHC development team is pleased to announce the first (and likely >> final) release candidate of GHC 8.4.1. The usual release artifacts are >> available from >> >>

RE: [commit: ghc] master: testsuite: Bump allocations for T9630 (f57c305)

Simon Peyton Jones via ghc-devs writes: > This is a reduction => good! > > "Bump" is usually bad. > Mmm, fair point. I'll use a more precise wording in the future. Cheers, - Ben signature.asc Description: PGP signature ___

Re: [ANNOUNCE] GHC 8.4.1-rc1 available

On 25/02/18 17:42, Ben Gamari wrote: The GHC development team is pleased to announce the first (and likely final) release candidate of GHC 8.4.1. The usual release artifacts are available from https://downloads.haskell.org/~ghc/8.4.1-rc1 Hi Ben, Looks like both SHA1SUM and SHA256SUM are

RE: [commit: ghc] master: testsuite: Bump allocations for T9630 (f57c305)

This is a reduction => good! "Bump" is usually bad. Simon | -Original Message- | From: ghc-commits [mailto:ghc-commits-boun...@haskell.org] On Behalf | Of g...@git.haskell.org | Sent: 25 February 2018 21:58 | To: ghc-comm...@haskell.org | Subject: [commit: ghc] master: