Re: Phabricator for patches and code review

2014-06-18 Thread Jan Stolarek
I read the friendly Arcanist manual and I wonder if we intend to have a default .arcconfig file in the GHC repo? From the docs it seems like a good idea. Janek Dnia wtorek, 17 czerwca 2014, Simon Marlow napisał: > On 13/06/14 10:47, Jan Stolarek wrote: > > It seems that most people are in favou

Re: Phabricator for patches and code review

2014-06-18 Thread Jan Stolarek
Duh, ignore what I wrote. I just realized I'm working on a non-rebased branch :-) Janek Dnia środa, 18 czerwca 2014, Jan Stolarek napisał: > I read the friendly Arcanist manual and I wonder if we intend to have a > default .arcconfig file in the GHC repo? From the docs it seems like a good > ide

Case expressions in STG

2014-06-18 Thread Tom Ellis
I am reading SPJ's seminal work "Implementing lazy functional languages on stock hardware: the Spinless Tagless G-machine" (1992). The paper is available here http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.3729 On p62 we see "The expression scrutinised by a case expression must ev

Continuous Integration and Cross Compilation

2014-06-18 Thread William Knop
Hello all, I’ve seen quite a few comments on the list and elsewhere lamenting the time it takes to compile and validate ghc. It’s troublesome not only because it’s inconvenient, but, more seriously, people are holding off on sending patches in which stifles development. I would like to propose

RE: Offering GHC builder build slaves

2014-06-18 Thread Simon Peyton Jones
Back in April I said: | Seriously, I advertised a couple of weeks ago for help with our nightly- | build infrastructure. Quite a few people responded -- thank you very | much. | | So we have willing horsepower. But the moment we lack leadership. Alain | rightly says "I don't know what the proc

Re: Case expressions in STG

2014-06-18 Thread William Knop
Hi Tom, SPJ is surely more qualified to answer than I, but I'll take a stab. In general, it is computationally infeasible to compare functions. Granted, in your example, the function isn't being compared-- and therefore the case expr is extraneous. I don't think there exists a feasible, uncontr

RE: Case expressions in STG

2014-06-18 Thread Simon Peyton Jones
I've forgotten what I intended in the STG paper, but GHC's Core language certainly allows case on a function; all it does is to force the function to head normal form. Simon | -Original Message- | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of William | Knop | Sent: 1

Re: GHC MinGW distribution

2014-06-18 Thread Robin KAY
Dear Simon et al., On 10/06/14 09:25, Simon Peyton Jones wrote: [snip] I'm sure that others will be happy to help. Do keep ghc-devs posted. You could make a ticket and post information to it as you learn about it. Or even a wiki page to describe the process, so that in four years time when

Re: Case expressions in STG

2014-06-18 Thread William Knop
Whoops, looks like my phone dropped Tom from the CC (fixed). Simon, what about the following: f = \x -> x g = \x -> (x,1) h = \x -> fst (g x) i = \x -> case f of f -> True _ -> False i f => True i h => ? If g isn't inlined into h and fst optimized out, wouldn't the head normal form of f an

Re: Continuous Integration and Cross Compilation

2014-06-18 Thread Austin Seipp
Hi William, Thanks for the email. Here're some things to consider. For one, cross compilation is a hot topic, but it is going to be a rather large amount of work to fix and it won't be easy. The primary problem is that we need to make Template Haskell cross-compile, but in general this is nontriv

Re: GHC MinGW distribution

2014-06-18 Thread Austin Seipp
Robin, Thanks a lot. This has been on my TODO list for a while, but it's been low priority. I'd love to see a more modern MinGW tools (it will surely come with many bugfixes), and I know many windows users would agree. Do let us know if something comes up. On Wed, Jun 18, 2014 at 6:27 PM, Robin K

Re: Continuous Integration and Cross Compilation

2014-06-18 Thread Alain O'Dea
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Great and detailed response Austin. Thank you. William, I'm happy to help in any way I can. I run SmartOS x86 and x86_64 builds of GHC HEAD on my own equipment using the GHC Builder Ian Lynagh developed: https://ghc.haskell.org/trac/ghc/wiki/Builder