Re: [ANNOUNCE] GHC 8.6.1-beta1 available

[Jens Petersen]

On Sat, 11 Aug 2018 at 11:31, Ben Gamari  wrote:
> The GHC development team is very pleased to announce the first beta
> leading up to GHC 8.6.1 release.

Thank you!

I have built it for Fedora and RHEL 7 in my Copr repo last week:
https://copr.fedorainfracloud.org/coprs/petersen/ghc-8.6.1/

I was away last month, and I am sending this belatedly.
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: [ANNOUNCE] GHC 8.6.1-beta1 available

[Richard Eisenberg]

> On Aug 11, 2018, at 11:27 AM, Vassil Ognyanov Keremidchiev  
> wrote:
> 
> What are the new features there toward Dependent Typed Haskell?

Ben's link to 
https://downloads.haskell.org/~ghc/8.6.1-beta1/docs/html/users_guide/8.6.1-notes.html
 

 includes several items, pasted here:

* 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
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

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  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
> ghc-devs@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
>
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs