tldr. Please let us know the status of your patches for GHC 8.0. Hello everyone! You are receiving this message because you responsible for one of the in-flight items on the GHC 8.0 roadmap [1]. As you may know, the release is quickly approaching and we'd like to have final patches up for review in the next week or so. Until then we'd like to get an idea of how your various projects are progressing. Below is a list of the projects which we believe are still in progress along with my understanding of the state of your work. If you see your name in this list please let us know how things are going. * OverloadedRecordFields Adam Gundry Documentation needed Full ORF not happening? * Kind equality Richard Eisenberg Patches coming soon? * GADT pattern matching rework George Karachalias How is this coming along? * LLVM backend Austin Seipp Patches coming * Pattern synonyms Matthew Pickering Documentation needed (ongoing work in D1325) * Backpack work Edward Z. Yang How is this coming along? * Compact regions Giovanni Campagna Patches need revision Edward Z. Yang * Type signature sections Herbert Valerio Riedel Not pushing for 8.0? * DWARF-based stack traces and Ben Gamari statistical profiling Patches slowly being merged Documentation needed Thanks for all of your hard work! Cheers, - Ben [1] https://ghc.haskell.org/trac/ghc/wiki/Status/GHC-8.0.1
Excerpts from Ben Gamari's message of 2015-11-17 07:22:22 -0800:
* Backpack work Edward Z. Yang How is this coming along?
Had a chat with SPJ about this and we've decided that Backpack still needs stabilizing, and there is not much gain to be had shipping it until it is very nearly done, so we are not going to be targeting this patch for GHC 8.0 Edward
"Edward Z. Yang"
Excerpts from Ben Gamari's message of 2015-11-17 07:22:22 -0800:
* Backpack work Edward Z. Yang How is this coming along?
Had a chat with SPJ about this and we've decided that Backpack still needs stabilizing, and there is not much gain to be had shipping it until it is very nearly done, so we are not going to be targeting this patch for GHC 8.0
Sounds good; that is consistent with my own discussions with Simon on this matter. What about the compacts work? I know that Simon Marlow has some questions about the implementation. Cheers, - Ben
Hi Ben, On 17/11/15 15:22, Ben Gamari wrote:
* OverloadedRecordFields Adam Gundry Documentation needed Full ORF not happening?
That's right. The full status is described on the wiki [1]. The short story is that the DuplicateRecordFields and OverloadedLabels extensions are implemented and I will document them, but that I don't expect to have the constraint solver extensions ready for 8.0. While I think about it, are there any Template Haskell experts out there who could advise on #11103 [2]? Thanks, Adam [1] https://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields [2] https://ghc.haskell.org/trac/ghc/ticket/11103 -- Adam Gundry, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/
participants (4)
-
Adam Gundry -
Ben Gamari -
Edward Z. Yang -
Richard Eisenberg