Pattern checker status

2017-01-10 Thread David Feuer
Could you possibly give us an update about the current status of your pattern checker work? I know the number of tickets may seem a bit overwhelming; please reach out to the ghc-devs list, or individual developers, to get whatever help you need. Knocking out some of these tickets is a

Re: nofib on Shake

2017-01-10 Thread Gracjan Polak
My time for this ticket run out and for the foreseeable future I won't be able to do much. We can discuss ideas if you have some. The part of nofib that is called fibno should be replaced with latest version of packages and permanently connected to the test suite. Or removed. This is the only

Re: nofib on Shake

2017-01-10 Thread Michal Terepeta
On Tue, Jan 10, 2017 at 11:35 AM Gracjan Polak wrote: > I was looking nearby recently and you might want to take into account my > discoveries described in https://ghc.haskell.org/trac/ghc/ticket/11501 Thanks a lot for mentioning it! (I didn't see this ticket/discussion)

Re: Trac to Phabricator (Maniphest) migration prototype

2017-01-10 Thread Ben Gamari
Matthew Pickering writes: > Dear devs, > > I have completed writing a migration which moves tickets from trac to > phabricator. The conversion is essentially lossless. The trac > transaction history is replayed which means all events are transferred > with their

Re: Debugging GHC with GHCi

2017-01-10 Thread Thomas Jakway
Thanks very much, I'll give that a shot. On 01/09/2017 08:12 AM, Simon Marlow wrote: On 9 January 2017 at 04:51, Ben Gamari > wrote: Thomas Jakway > writes: > I want to be able to load

RE: Exhaustiveness checking for pattern synonyms

2017-01-10 Thread Simon Peyton Jones via ghc-devs
Questions * What if there are multiple COMPLETE pragmas e.g. {-# COMPLETE A, B, C #-} {-# COMPLETE A, X, Y, Z #-} Is that ok? I guess it should be! Will the pattern-match exhaustiveness check then succeed if a function uses either set? What happens if you use a mixture of

Re: Trac to Phabricator (Maniphest) migration prototype

2017-01-10 Thread Matthew Pickering
There is an equivalent, it is called Phriction - https://phabricator.haskell.org/w/ I am not proposing at this stage that we migrate the wiki contents as well. That would certainly be a logical next step but I think trac's wiki is quite a bit better. Matt On Tue, Jan 10, 2017 at 12:00 PM, Simon

RE: Trac to Phabricator (Maniphest) migration prototype

2017-01-10 Thread Simon Peyton Jones via ghc-devs
On this Phab question, does Phab have an equivalent to Trac's wiki? That's quite important. Simon | -Original Message- | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Matthew | Pickering | Sent: 10 January 2017 11:59 | To: Richard Eisenberg

Re: Trac to Phabricator (Maniphest) migration prototype

2017-01-10 Thread Matthew Pickering
Subprojects and Milestones are both special kinds of projects. Subprojects are like projects but are associated with a parent project. Unfortunately this doesn't really show up anywhere on the UI. There is quite a long discussion about this on the upstream issue tracker -

Re: nofib on Shake

2017-01-10 Thread Gracjan Polak
I was looking nearby recently and you might want to take into account my discoveries described in https://ghc.haskell.org/trac/ghc/ticket/11501 2017-01-08 18:48 GMT+01:00 Michal Terepeta : > Hi all, > > While looking at nofib, I've found a blog post from Neil Mitchell