FYI: base version bump landing soon

Hello fellow Haskellers, Sometime soon (likely today) I'll be landing a commit to `master` which will bump the version of the `base` library to 4.10.0.0 This will involve bumping a number of submodules as well. This will mean that testing against Hackage will typically require that you pass

Compile GHC with -prof to get a stack trace on panic

I think this has been mentioned before but it's probably not widely known: if you compile GHC profiled (that is, enable GhcProfiled=YES in your mk/ build.mk), then every panic comes with a stack trace. Here's one I just saw: ghc-stage2: panic! (the 'impossible' happened) (GHC version

Re: Explicit inequality evidence

Hi Oleg, I'm afraid to say that there is no one current type safety proof. Instead, there are lots of bits and pieces: - A system with roles (but no TypeInType or kind polymorphism) is proved in "Safe Zero-cost Coercions for Haskell" (JFP '16) [1]. - A system with TypeInType but no roles is

Join points!

Everyone: please take a look. Luke Very good. · I think it’s fine to work from your repo; no need to use the main repo. · One big patch is fine. The exception is late lambda-lifting which would best be done separately. · Can you identify any bits that you are less

Fwd: [Ann] Haskell Ecosystem Proposals

I am forwarding this mail to ghc-devs and cabal-devs in case anyone missed the original which went to haskell-cafe only. Alan -- Forwarded message -- From: Alan & Kim Zimmerman Date: Sun, Dec 11, 2016 at 9:39 PM Subject: [Ann] Haskell Ecosystem Proposals To: