Re: Optimizing "counting" GADTs

[David Feuer]

Scratch that. I think you might be right.
On May 25, 2016 8:40 PM, "David Feuer"  wrote:

> Partially. Unfortunately, bidirectional pattern synonyms tie the types of
> the pattern synonyms to the types of the smart constructors for no good
> reason, making them (currently) inappropriate. But fixing that problem
> would offer one way to this optimization, I think.
> On May 25, 2016 8:37 PM, "Carter Schonwald" 
> wrote:
>
> could this be simulated/modeled with pattern synonyms?
>
> On Wed, May 25, 2016 at 7:51 PM, David Feuer 
> wrote:
>
>> I've started a wiki page,
>> https://ghc.haskell.org/trac/ghc/wiki/OptimizeCountingGADTs , to
>> consider optimizing GADTs that look like natural numbers but that possibly
>> have "heavy zeros". Please take a look.
>>
>> ___
>> 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

Re: [ANNOUNCE] GHC 8.0.1 is available!

[Jens Petersen]

On 22 May 2016 at 00:18, Ben Gamari  wrote:

> The GHC developers are very pleased to announce the release of the first
> new super-major version of our Haskell compiler in six years, GHC 8.0.1.
>

Congratulations on the release!

I forgot to mention I built it for Fedora and RHEL/Centos 7 in my Copr repo:
https://copr.fedorainfracloud.org/coprs/petersen/ghc-8.0.1/

If you run into any problems please report them to me.

I also made a Fedora docker image with 8.0.1 tag that includes also
cabal-install and stack:
https://hub.docker.com/r/juhp/fedora-haskell-ghc/

Jens
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs