Re: [ANNOUNCE] GHC 8.2.2 release candidate 2

2017-11-02 Thread Ryan Scott
I built all of Stackage with this RC the other night and didn't observe any regressions. Hooray! (Thanks to Doug Wilson for helping me get set up with his https://github.com/duog/build-stackage repo.) Ryan S. ___ ghc-devs mailing list ghc-devs@haskell.o

RE: Bringing some observable sharing to GHCi

2017-11-02 Thread Simon Peyton Jones via ghc-devs
Do TypeReps need to be cyclic? No – I think David is working on a non-cyclic version Simon From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Simon Marlow Sent: 02 November 2017 10:27 To: David Feuer Cc: Joachim Breitner ; ghc-devs Subject: Re: Bringing some observable sharing t

Re: Bringing some observable sharing to GHCi

2017-11-02 Thread Simon Marlow
Not being able to :print an exception would be quite annoying. Do TypeReps need to be cyclic? Observable sharing can be done with StableName, but that would be a bit pile of hassle in the printer. Maybe exceptions warrant a special case. Cheers Simon On 29 October 2017 at 20:40, David Feuer wro

Re: GHCi recompilation avoidance UI

2017-11-02 Thread Simon Marlow
On 31 October 2017 at 15:42, David Feuer wrote: > Changes in GHC 8.2.1 lead to a lot of recompilation, because GHCi now > refuses to load optimized > code unless -fobject-code (and optimization flags) are enabled. I propose > the following slight > modification to https://ghc.haskell.org/trac/ghc

RE: When does GHC produce unlifted `let` bindings?

2017-11-02 Thread Simon Peyton Jones via ghc-devs
Re: let-bindings floating more easily, would a check for `exprIsOkForSpeculation scrut` in theory suffice to float out cases? Yes; but instead we simply turn such cases into lets. Simon From: Sebastian Graf [mailto:sgraf1...@gmail.com] Sent: 02 November 2017 08:33 To: Simon Peyton Jones Cc: gh

Re: When does GHC produce unlifted `let` bindings?

2017-11-02 Thread Sebastian Graf
Thanks both of you, that makes sense. Re: let-bindings floating more easily, would a check for `exprIsOkForSpeculation scrut` in theory suffice to float out cases? On Mon, Oct 30, 2017 at 10:56 AM, Simon Peyton Jones wrote: > See Note [CoreSyn let/app invariant] in CoreSyn. > > > > Briefly, you