From david.feuer at gmail.com Fri Jun 7 17:36:41 2019 From: david.feuer at gmail.com (David Feuer) Date: Fri, 7 Jun 2019 13:36:41 -0400 Subject: Typed hole improvements Message-ID: I've been playing around with 8.6.3, and I've really been appreciating the improvements in typed hole messages. Both the information about constraints and the suggestions for filling the holes have proven valuable in heavily typish programming. Thanks! One thing that's still not where I'd like it to be is the equality constraint display. I recognize this is a Hard Problem. But digging through something like x ~ C y z x ~ C y1 z2 D p b ~ q z y1 to get b ~ y gets tiresome. Is there room for improvement here? If not, are there any programs around using the GHC API to offer an interactive system for such calculations? It'd be quite helpful when seeing such constraints to be able to express special interest in a particular type variable, for example. -------------- next part -------------- An HTML attachment was scrubbed... URL: From ben at well-typed.com Sat Jun 15 19:35:54 2019 From: ben at well-typed.com (Ben Gamari) Date: Sat, 15 Jun 2019 15:35:54 -0400 Subject: [ANNOUNCE] GHC 8.8.1-alpha2 is now available Message-ID: <874l4qzlny.fsf@smart-cactus.org> Hello everyone, The GHC team is pleased to announce the second and likely last alpha release of GHC 8.8.1. The source distribution, binary distributions, and documentation are available at https://downloads.haskell.org/~ghc/8.8.1-alpha2 A draft of the release notes is also available [1]. This release is the culmination of over 3000 commits by over one hundred contributors and has several new features and numerous bug fixes relative to GHC 8.6: * Profiling now works correctly on 64-bit Windows (although still may be problematic on 32-bit Windows due to platform limitations; see #15934) * A new code layout algorithm for amd64's native code generator * The introduction of a late lambda-lifting pass which may reduce allocations significantly for some programs. * Further work on Trees That Grow, enabling improved code re-use of the Haskell AST in tooling * More locations where users can write `forall` (GHC Proposal #0007) * Further work on the Hadrian build system This release brings a number of fixes since alpha 1: * A number of linker fixes (#16779, #16784) * The process, binary, Cabal, time, terminfo libraries have all been bumped to their final release versions * A regression rendering TemplateHaskell unusable in cross-compiled configurations has been fixed (#16331) * A regression causing compiler panics on compilation of some programs has been fixed (#16449) * -Wmissing-home-modules now handles hs-boot files correctly (#16551) * A regression causing some programs to fail at runtime has been fixed (#16066) Due to on-going work on our release and testing infrastructure this cycle is proceeding at a pace significantly slower than expected. However, we anticipate that this investment will allow us to release a more reliable, easier-to-install compiler on the planned six-month release cadence in the future. As always, if anything looks amiss do let us know. Happy compiling! Cheers, - Ben [1] https://downloads.haskell.org/ghc/8.8.1-alpha2/docs/html/users_guide/8.8.1-notes.html -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 487 bytes Desc: not available URL: From ben at well-typed.com Mon Jun 17 12:23:09 2019 From: ben at well-typed.com (Ben Gamari) Date: Mon, 17 Jun 2019 08:23:09 -0400 Subject: [ANNOUNCE] GHC 8.8.1-alpha2 is now available In-Reply-To: References: <874l4qzlny.fsf@smart-cactus.org> Message-ID: That is true and this will be fixed for the release candidate. However Debian 8 is now no longer Debian's current stable release so I wasn't prioritizing this issue. If the lack of a Debian 8 distribution is preventing anyone from testing please let me know. Cheers, - Ben On June 17, 2019 6:24:16 AM EDT, Matthew Pickering wrote: >There seems to be no debian8 bindist which is different from every >release at least back to ghc-8.0.1. > >On Sat, Jun 15, 2019 at 8:36 PM Ben Gamari wrote: >> >> Hello everyone, >> >> The GHC team is pleased to announce the second and likely last alpha >> release of GHC 8.8.1. The source distribution, binary distributions, >and >> documentation are available at >> >> https://downloads.haskell.org/~ghc/8.8.1-alpha2 >> >> A draft of the release notes is also available [1]. >> >> This release is the culmination of over 3000 commits by over one >hundred >> contributors and has several new features and numerous bug fixes >> relative to GHC 8.6: >> >> * Profiling now works correctly on 64-bit Windows (although still >may >> be problematic on 32-bit Windows due to platform limitations; see >> #15934) >> >> * A new code layout algorithm for amd64's native code generator >> >> * The introduction of a late lambda-lifting pass which may reduce >> allocations significantly for some programs. >> >> * Further work on Trees That Grow, enabling improved code re-use of >the >> Haskell AST in tooling >> >> * More locations where users can write `forall` (GHC Proposal #0007) >> >> * Further work on the Hadrian build system >> >> This release brings a number of fixes since alpha 1: >> >> * A number of linker fixes (#16779, #16784) >> >> * The process, binary, Cabal, time, terminfo libraries have all been >> bumped to their final release versions >> >> * A regression rendering TemplateHaskell unusable in cross-compiled >> configurations has been fixed (#16331) >> >> * A regression causing compiler panics on compilation of some >programs >> has been fixed (#16449) >> >> * -Wmissing-home-modules now handles hs-boot files correctly >(#16551) >> >> * A regression causing some programs to fail at runtime has been >fixed >> (#16066) >> >> Due to on-going work on our release and testing infrastructure this >> cycle is proceeding at a pace significantly slower than expected. >> However, we anticipate that this investment will allow us to release >a >> more reliable, easier-to-install compiler on the planned six-month >> release cadence in the future. >> >> As always, if anything looks amiss do let us know. >> >> Happy compiling! >> >> Cheers, >> >> - Ben >> >> [1] >https://downloads.haskell.org/ghc/8.8.1-alpha2/docs/html/users_guide/8.8.1-notes.html >> _______________________________________________ >> ghc-devs mailing list >> ghc-devs at haskell.org >> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs -- Sent from my Android device with K-9 Mail. Please excuse my brevity. -------------- next part -------------- An HTML attachment was scrubbed... URL: From george.colpitts at gmail.com Fri Jun 21 21:10:19 2019 From: george.colpitts at gmail.com (George Colpitts) Date: Fri, 21 Jun 2019 18:10:19 -0300 Subject: [ANNOUNCE] GHC 8.8.1-alpha2 is now available In-Reply-To: <874l4qzlny.fsf@smart-cactus.org> References: <874l4qzlny.fsf@smart-cactus.org> Message-ID: Will 8.8.1 use llvm 7.0.1? I don't see it mentioned in the release notes. Cheers George On Sat, Jun 15, 2019 at 4:36 PM Ben Gamari wrote: > Hello everyone, > > The GHC team is pleased to announce the second and likely last alpha > release of GHC 8.8.1. The source distribution, binary distributions, and > documentation are available at > > https://downloads.haskell.org/~ghc/8.8.1-alpha2 > > A draft of the release notes is also available [1]. > > This release is the culmination of over 3000 commits by over one hundred > contributors and has several new features and numerous bug fixes > relative to GHC 8.6: > > * Profiling now works correctly on 64-bit Windows (although still may > be problematic on 32-bit Windows due to platform limitations; see > #15934) > > * A new code layout algorithm for amd64's native code generator > > * The introduction of a late lambda-lifting pass which may reduce > allocations significantly for some programs. > > * Further work on Trees That Grow, enabling improved code re-use of the > Haskell AST in tooling > > * More locations where users can write `forall` (GHC Proposal #0007) > > * Further work on the Hadrian build system > > This release brings a number of fixes since alpha 1: > > * A number of linker fixes (#16779, #16784) > > * The process, binary, Cabal, time, terminfo libraries have all been > bumped to their final release versions > > * A regression rendering TemplateHaskell unusable in cross-compiled > configurations has been fixed (#16331) > > * A regression causing compiler panics on compilation of some programs > has been fixed (#16449) > > * -Wmissing-home-modules now handles hs-boot files correctly (#16551) > > * A regression causing some programs to fail at runtime has been fixed > (#16066) > > Due to on-going work on our release and testing infrastructure this > cycle is proceeding at a pace significantly slower than expected. > However, we anticipate that this investment will allow us to release a > more reliable, easier-to-install compiler on the planned six-month > release cadence in the future. > > As always, if anything looks amiss do let us know. > > Happy compiling! > > Cheers, > > - Ben > > [1] > https://downloads.haskell.org/ghc/8.8.1-alpha2/docs/html/users_guide/8.8.1-notes.html > _______________________________________________ > Glasgow-haskell-users mailing list > Glasgow-haskell-users at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users > -------------- next part -------------- An HTML attachment was scrubbed... URL: From ben at well-typed.com Sat Jun 22 15:01:01 2019 From: ben at well-typed.com (Ben Gamari) Date: Sat, 22 Jun 2019 11:01:01 -0400 Subject: [ANNOUNCE] GHC 8.8.1-alpha2 is now available In-Reply-To: References: <874l4qzlny.fsf@smart-cactus.org> Message-ID: <877e9dy89j.fsf@smart-cactus.org> George Colpitts writes: > Will 8.8.1 use llvm 7.0.1? I don't see it mentioned in the release notes. > Yes, this release will target LLVM 7. I'll add a mention to the release notes. Cheers, - Ben -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 487 bytes Desc: not available URL: From ben at well-typed.com Thu Jun 27 17:26:15 2019 From: ben at well-typed.com (Ben Gamari) Date: Thu, 27 Jun 2019 13:26:15 -0400 Subject: The future of the SPARC NCG backend Message-ID: <87d0izvt1n.fsf@smart-cactus.org> Hello everyone, If you use (or think you might use in the future) GHC's SPARC NCG backend please do leave a note on #16882 [1]. My impression is that it has no users and no plausible means of testing. Consequently I am suggesting that we remove it in GHC 8.12. Cheers, - Ben [1] https://gitlab.haskell.org/ghc/ghc/issues/16882 -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 487 bytes Desc: not available URL: