Re: [ANNOUNCE] GHC 8.6.1-beta1 available

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

Re: [ANNOUNCE] GHC 8.6.1-beta1 available

Phyx
Hi Ben,

I forgot to update the changelog at the time I think, It should probably be stated that this release fixes the 32 bit Windows segfaults.

Cheers,
Tamar

On Sat, Aug 11, 2018 at 3:31 AM, Ben Gamari <[hidden email]> wrote:

Hello everyone,

The GHC development team is very pleased to announce the first beta
leading up to GHC 8.6.1 release. The usual release artifacts are
available from

    https://downloads.haskell.org/~ghc/8.6.1-beta1

This beta fixes most of the bugs reported in the first two alphas and
brings all of the core libraries up to their final release versions.

The 8.6 release fixes over 300 bugs from the 8.4 series and introduces a
number of exciting features. These most notably include:

 * Significantly better handling of macOS linker command size limits,
   avoiding linker errors while linking large projects

 * A new deriving mechanism, `deriving via`, providing a convenient way
   for users to extend Haskell's typeclass deriving mechanism

 * Quantified constraints, allowing forall quantification in contexts

 * An early version of the GHCi `:doc` command

 * The `ghc-heap-view` package, allowing introspection into the
   structure of GHC's heap

 * Valid hole fit hints, helping the user to find terms to fill typed
   holes in their programs

 * The BlockArguments extension, allowing the `$` operator to be omitted
   in some unambiguous contexts

 * The next phase of the MonadFail proposal, enabling
   -XMonadFailDesugaring by default

A full list of the changes in this release can be found in the
release notes:

    https://downloads.haskell.org/~ghc/8.6.1-beta1/docs/html/users_guide/8.6.1-notes.html

This will very likely be the last release before the final 8.6.1 so do
give it a thorough testing and, as always, report any issues you
encounter. Thanks for your help!

Cheers,

- Ben

_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs



_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Reply | Threaded
Open this post in threaded view
|

Re: [ANNOUNCE] GHC 8.6.1-beta1 available

Richard Eisenberg-4


On Aug 11, 2018, at 11:27 AM, Vassil Ognyanov Keremidchiev <[hidden email]> wrote:

What are the new features there toward Dependent Typed Haskell?


* A new StarIsType language extension has been added which controls whether * is parsed as Data.Kind.Type or a regular type operator. StarIsType is enabled by default.

* CUSKs now require all kind variables to be explicitly quantified. This was already the case with TypeInType, but now PolyKinds also exhibits this behavior.

* Functionality of TypeInType has been subsumed by PolyKinds, and it is now merely a shorthand for PolyKinds, DataKinds, and NoStarIsType. The users are advised to avoid TypeInType due to its misleading name: the Type :: Type axiom holds regardless of whether it is enabled.

These are small steps, to be sure, but there's quite a bit going on behind the scenes. For example see the "Coercion Quantification" and "Type-level visible type applications" to take place at HIW (https://icfp18.sigplan.org/track/hiw-2018-papers#event-overview).

There are also a great many proposals in play at https://github.com/ghc-proposals/ghc-proposals

More to come in the future, of course!
Richard

_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs