Re: Performance of pattern checker on OptCoercions

[Thomas Miedema]

> I have a small question though: do we need the opposites too (I mean
> `-fno-full-guard-reasoning` and ` -Wtoo-many-guards`)? I cannot think of
> a scenario where we do or am I missing something?
>

A scenario where `-fno-full-guard-reasoning` could be useful: you add
`-ffull-guard-reasoning` to ghc-options in your .cabal file, but switch it
off in an OPTIONS_GHC pragma in a specific file.

But `-f` and `-W` flags always come in pairs, so that is easy. You would
add `-Wtoo-many-guards` to `standardWarnings` in compiler/main/DynFlags.hs.

Others? If I get the green light, this is a matter of minutes to change :)
>

If it is not too much trouble, please submit your patch to Phabricator.
Then others can review, and harbormaster can validate it.
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Change from 7.10.3 to current master

[Alan & Kim Zimmerman]

I am in the process of updating ghc-exactprint for current GHC master.

One of the tests has the following in it

-
{-# LANGUAGE TypeOperators #-}

type family (r1 :++: r2); infixr 5 :++:
type instance r :++: Nil = r
type instance r1 :++: r2 :> a = (r1 :++: r2) :> a
--

Current GHC master rejects this with

/tmp/Foo.hs:5:15: error:
Malformed head of type or class declaration: r1 :++: r2 :> a

Is this expected, or a bug?

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

Re: Kinds of type synonym arguments

[Ömer Sinan Ağacan]

I have another related question: What about allowing primitive types
in newtypes?

λ:4> newtype Blah1 = Blah1 Int
λ:5> newtype Blah2 = Blah2 Int#

:5:23: error:
• Expecting a lifted type, but ‘Int#’ is unlifted
• In the type ‘Int#’
  In the definition of data constructor ‘Blah2’
  In the newtype declaration for ‘Blah2’

Ideally second definition should be OK, and kind of Blah2 should be #. Is this
too hard to do?

2015-12-16 17:22 GMT-05:00 Richard Eisenberg :
>
> On Dec 16, 2015, at 2:06 PM, Ömer Sinan Ağacan  wrote:
>>
>> In any case, this is not that big deal. When I read the code I thought this
>> should be a trivial change but apparently it's not.
>
> No, it's not. Your example (`f :: (Int#, b) -> b`) still has an unboxed thing 
> in a boxed tuple. Boxed tuples simply can't (currently) hold unboxed things. 
> And changing that is far from trivial. It's not the polymorphism that's the 
> problem -- it's the unboxed thing in a boxed tuple.
>
> Richard
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: Haddock for GHC 8.0

[Gautier DI FOLCO]

--

> tl;dr: Help needed to bring Haddock up-to-date for the GHC 8.0 release.
>
>
> Hello everyone,
>
> As you likely know, the GHC 8.0 release cycle is quickly drawing to a
> close. One of the tasks that remains outstanding is porting the patches
> on Haddock's `ghc-head` branch to `master`. This task is bound to
> require a bit more work than usual this time around as both GHC and
> Haddock have evolved significantly (which is a good thing!). Sadly,
> Austin and I are quite busy at the moment and would be hard-pressed to
> undertake such a task ourselves. Consequently, we need a volunteer to
> pick up this work.
>
> At the moment the GHC release schedule is largely determined by progress
> on the no-kinds branch but we expect to have a release candidate out
> within the next two weeks. If we aren't able to find someone to bring
> haddock up-to-date by mid-January I'm afraid we'll have to release GHC
> 8.0 with the current state of the `ghc-head` branch. Considering the
> significant effort that went into this summer's GSoC projects, this
> would be a shame.
>
> If you think you might be able to contribute to this effort, please say
> so in this thread.
>
> Thanks for all of your effort,
>
> - Ben
> -- next part --
> A non-text attachment was scrubbed...
> Name: signature.asc
> Type: application/pgp-signature
> Size: 472 bytes
> Desc: not available
> URL: 
> 
>
>
Hello,

Sorry for the delay and for all the netiquette violations (I wasn't
registered to this list).
If this task is not taken in charge by someone, I can try to do it by the
end of the year.
Is it still the case?

I hope I can help,
Regards.
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: Haddock for GHC 8.0

[Matthew Pickering]

Hi Gautier,

Indeed the task has been done.

Here is the current rebased branch -
https://github.com/haskell/haddock/tree/ghc-head

Matt

On Sun, Dec 20, 2015 at 11:36 PM, Gautier DI FOLCO
 wrote:
> 
>>
>> tl;dr: Help needed to bring Haddock up-to-date for the GHC 8.0 release.
>>
>>
>> Hello everyone,
>>
>> As you likely know, the GHC 8.0 release cycle is quickly drawing to a
>> close. One of the tasks that remains outstanding is porting the patches
>> on Haddock's `ghc-head` branch to `master`. This task is bound to
>> require a bit more work than usual this time around as both GHC and
>> Haddock have evolved significantly (which is a good thing!). Sadly,
>> Austin and I are quite busy at the moment and would be hard-pressed to
>> undertake such a task ourselves. Consequently, we need a volunteer to
>> pick up this work.
>>
>> At the moment the GHC release schedule is largely determined by progress
>> on the no-kinds branch but we expect to have a release candidate out
>> within the next two weeks. If we aren't able to find someone to bring
>> haddock up-to-date by mid-January I'm afraid we'll have to release GHC
>> 8.0 with the current state of the `ghc-head` branch. Considering the
>> significant effort that went into this summer's GSoC projects, this
>> would be a shame.
>>
>> If you think you might be able to contribute to this effort, please say
>> so in this thread.
>>
>> Thanks for all of your effort,
>>
>> - Ben
>> -- next part --
>> A non-text attachment was scrubbed...
>> Name: signature.asc
>> Type: application/pgp-signature
>> Size: 472 bytes
>> Desc: not available
>> URL:
>> 
>
>
> Hello,
>
> Sorry for the delay and for all the netiquette violations (I wasn't
> registered to this list).
> If this task is not taken in charge by someone, I can try to do it by the
> end of the year.
> Is it still the case?
>
> I hope I can help,
> Regards.
>
> ___
> 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: Haddock for GHC 8.0

[Gautier DI FOLCO]

Hello,

Thanks for the quick answer, sorry for the inconvenience, I hope I'll be
quicker next time.

Regards.

2015-12-21 1:04 GMT+01:00 Matthew Pickering :

> Hi Gautier,
>
> Indeed the task has been done.
>
> Here is the current rebased branch -
> https://github.com/haskell/haddock/tree/ghc-head
>
> Matt
>
> On Sun, Dec 20, 2015 at 11:36 PM, Gautier DI FOLCO
>  wrote:
> > 
> >>
> >> tl;dr: Help needed to bring Haddock up-to-date for the GHC 8.0 release.
> >>
> >>
> >> Hello everyone,
> >>
> >> As you likely know, the GHC 8.0 release cycle is quickly drawing to a
> >> close. One of the tasks that remains outstanding is porting the patches
> >> on Haddock's `ghc-head` branch to `master`. This task is bound to
> >> require a bit more work than usual this time around as both GHC and
> >> Haddock have evolved significantly (which is a good thing!). Sadly,
> >> Austin and I are quite busy at the moment and would be hard-pressed to
> >> undertake such a task ourselves. Consequently, we need a volunteer to
> >> pick up this work.
> >>
> >> At the moment the GHC release schedule is largely determined by progress
> >> on the no-kinds branch but we expect to have a release candidate out
> >> within the next two weeks. If we aren't able to find someone to bring
> >> haddock up-to-date by mid-January I'm afraid we'll have to release GHC
> >> 8.0 with the current state of the `ghc-head` branch. Considering the
> >> significant effort that went into this summer's GSoC projects, this
> >> would be a shame.
> >>
> >> If you think you might be able to contribute to this effort, please say
> >> so in this thread.
> >>
> >> Thanks for all of your effort,
> >>
> >> - Ben
> >> -- next part --
> >> A non-text attachment was scrubbed...
> >> Name: signature.asc
> >> Type: application/pgp-signature
> >> Size: 472 bytes
> >> Desc: not available
> >> URL:
> >> <
> http://mail.haskell.org/pipermail/ghc-devs/attachments/20151207/52bff35b/attachment.sig
> >
> >
> >
> > Hello,
> >
> > Sorry for the delay and for all the netiquette violations (I wasn't
> > registered to this list).
> > If this task is not taken in charge by someone, I can try to do it by the
> > end of the year.
> > Is it still the case?
> >
> > I hope I can help,
> > Regards.
> >
> > ___
> > 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