Preliminary proposal: Monoidal categories in base and proc notation support

2014-09-15 Thread Sophie Taylor
Hi everyone. I am working on a proposal for some additions to the base library and some modifications to GHC in the same style as the do notation support for Applicatives. It is still very much a work in progress, but any input/constructive criticism would be greatly appreciated; this is the

Re: Preliminary proposal: Monoidal categories in base and proc notation support

2014-09-15 Thread Roman Cheplyaka
On Mon, 2014-09-15 at 17:30 +1000, Sophie Taylor wrote: Hi everyone. I am working on a proposal for some additions to the base library and some modifications to GHC in the same style as the do notation support for Applicatives. It is still very much a work in progress, but any

Re: Cannot build ghc HEAD with LLVM ARM due to globalRegMaybe

2014-09-15 Thread Jan Stolarek
I think it is best to fill in a bug report and attach a patch - I'm afraid this mail may have gone unnoticed :-) Janek Dnia piątek, 12 września 2014, Moritz Angermann napisał: Hi, when trying to compile a ghc HEAD on LLVM ARM, I end up getting an exception: ghc-stage1: panic! (the

Re: Cannot build ghc HEAD with LLVM ARM due to globalRegMaybe

2014-09-15 Thread Moritz Angermann
Hi Janek, yea :) I think it went by unnoticed. Patch is already in Phab, https://phabricator.haskell.org/D208 Not sure how to speed up the review process, though ;-) Cheers, Moritz On Sep 15, 2014, at 11:13 AM, Jan Stolarek jan.stola...@p.lodz.pl wrote: I think it is best to fill in a

Preliminary proposal: Monoidal categories in base and proc notation support

2014-09-15 Thread Sophie Taylor
Hi Sophie, In your proposal draft, I am missing the rationale part. Yeah, I'm still writing it - I definitely need to expand that a bit mor. Do we need *all* of these classes in base in order to desugar proc? Can you demonstrate why they are needed? Or will something simpler suffice? I think I

RE: cminusminus.org does not have a link to the spec

2014-09-15 Thread Simon Peyton Jones
Sergei C-- was originally envisaged as a target language for a variety of compilers. But in fact LLVM, which was developed at a similar time, won that race and has built a far larger ecosystem. That's fine with us -- it's great how successful LLVM has been -- but it means that C-- is now

RE: Preliminary proposal: Monoidal categories in base and proc notation support

2014-09-15 Thread Simon Peyton Jones
Sophie I’m guessing that the primary audience for your proposal is the Core Libraries Committee, rather than GHC itself. I’m cc’ing them. So far as GHC is concerned, there is a long-running ticket #7828 that your proposal may bear on. I am not satisfied with GHC’s treatment of arrows; it is

RE: Cannot build ghc HEAD with LLVM ARM due to globalRegMaybe

2014-09-15 Thread Simon Peyton Jones
Is there a Trac ticket too? Simon | -Original Message- | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Moritz | Angermann | Sent: 15 September 2014 10:19 | To: ghc-devs@haskell.org | Subject: Re: Cannot build ghc HEAD with LLVM ARM due to globalRegMaybe | | Hi Janek,

It's that time again (for the HCAR)

2014-09-15 Thread Austin Seipp
Hi *, It is that time again where once every 6 months, we write our entry for the Haskell Communities and Activities Report (HCAR), summarizing what exactly we're all doing. I say 'we' write this of course because I need everyone to write some stuff on what they're doing. :) I'll editorialize it

The build is broken on {32,64}-bit Windows

2014-09-15 Thread Páli Gábor János
Hello there, For your information, the build has been failing for a few days now on both my Windows builders [1][2], basically in the same way. [...] librarieshaskelineSystemConsoleHaskelineBackendWin32.hsc:263:15: No instance for (Applicative (Draw m)) arising from the 'deriving'

Re: The build is broken on {32,64}-bit Windows

2014-09-15 Thread Austin Seipp
Grrr, this is my fault (AMP fallout). Fix incoming. On Mon, Sep 15, 2014 at 7:30 AM, Páli Gábor János pali.ga...@gmail.com wrote: Hello there, For your information, the build has been failing for a few days now on both my Windows builders [1][2], basically in the same way. [...]

Re: Cannot build ghc HEAD with LLVM ARM due to globalRegMaybe

2014-09-15 Thread Moritz Angermann
Dear Simon, No, there is not. Should every patch in Phab, have an associated ticket as well? Cheers, Moritz On Sep 15, 2014, at 2:17 PM, Simon Peyton Jones simo...@microsoft.com wrote: Is there a Trac ticket too? Simon | -Original Message- | From: ghc-devs

Re: Random infrastructure requests, questions and suggestions

2014-09-15 Thread Austin Seipp
OK, so we discussed this a bit on IRC this morning, so I'm going to continue the discussion here for people to raise some inputs, particularly for #1: 1. I think this would be OK, but I'm rather neutral. Herbert is concerned I think about the proliferation of fields for our tickets, but I think

GHC Weekly News (was: Status updates)

2014-09-15 Thread Austin Seipp
Hi *, Note the title change. After some discussion with Simon last week, we decided to change up the name a bit, since we want the discussion on - As Gabor mentioned on the list earlier, I accidentally broke the Windows build. I'm sorry. :( We really need to get Phab building Windows too

Re: Random infrastructure requests, questions and suggestions

2014-09-15 Thread Richard Eisenberg
On Sep 15, 2014, at 9:22 AM, Austin Seipp aus...@well-typed.com wrote: On Wed, Sep 10, 2014 at 6:32 AM, Jan Stolarek jan.stola...@p.lodz.pl wrote: 1. Would it be possible to add a new custom field to Trac called Wiki page? Tickets that are about implementing a larger feature have an

Re: Random infrastructure requests, questions and suggestions

2014-09-15 Thread Joachim Breitner
Hi, Am Montag, den 15.09.2014, 08:22 -0500 schrieb Austin Seipp: 5. Long term, I think Phabricator has some goals to try and do this with its Charting/Facts application, but there isn't really anything today I'm afraid that would be easy. We could have Phabricator submit information to

Re: Random infrastructure requests, questions and suggestions

2014-09-15 Thread Jan Stolarek
To Austin: 2. I don't think we actually came to a conclusion on whether this is doable. After some more thinking I believe that doing 1) will deal with about 90% of my uses cases for 2). However, we could add link to the wiki index in the sidebar - that certainly is doable. 3. No, there

Re: Random infrastructure requests, questions and suggestions

2014-09-15 Thread Thomas Miedema
I just noticed that The GHC Team link on GHC homepage points to non-existing wiki page (Contributors). For whoever can fix this: please redirect [wiki:Contributors] to [wiki:TeamGHC], since there are other links to the old Contributors page around as well.

Re: cminusminus.org does not have a link to the spec

2014-09-15 Thread Carter Schonwald
the historical c-- page still lives where norman moved it www.cs.tufts.edu/~nr/c--/index.html (and has all the content still) On Mon, Sep 15, 2014 at 8:05 AM, Simon Peyton Jones simo...@microsoft.com wrote: Sergei C-- was originally envisaged as a target language for a variety of compilers.

Re: Cannot build ghc HEAD with LLVM ARM due to globalRegMaybe

2014-09-15 Thread Moritz Angermann
Alright! Ticket is here, for everyone interested: https://ghc.haskell.org/trac/ghc/ticket/9593 Cheers, Moritz On Sep 15, 2014, at 6:12 PM, Simon Peyton Jones simo...@microsoft.com wrote: We don't yet have a firm policy, but my instinct is that. If they have a ticket, a milestone, a

STM and GC write barrier

2014-09-15 Thread Ryan Yates
Hi All, I'm starting to get to the bottom of something that has been puzzling me for a while. Recently commit 6d784c43592290ec16db8b7f0f2a012dff3ed497 [1] introduced the GC write barrier for TVars. Not fully understanding things and reading the commit message to be saying that this was an

Re: Random infrastructure requests, questions and suggestions

2014-09-15 Thread Jan Stolarek
For whoever can fix this: please redirect [wiki:Contributors] to [wiki:TeamGHC], since there are other links to the old Contributors page around as well. Fixed. Janek ___ ghc-devs mailing list ghc-devs@haskell.org

Compiling on Windows

2014-09-15 Thread Neil Mitchell
Hi, At ICFP Simon Peyton Jones encouraged me to compile GHC on Windows. I did so in the past about 5 years ago, and it was a painful experience. To help improve the path for those who come after me, I kept a log (which I'll share after I get a working build). My current state is that I get an

Re: Compiling on Windows

2014-09-15 Thread Edward Z. Yang
Austin Seipp has taken responsibility for this failure (it's AMP related); he's working on a fix. Edward Excerpts from Neil Mitchell's message of 2014-09-15 16:13:23 -0400: Hi, At ICFP Simon Peyton Jones encouraged me to compile GHC on Windows. I did so in the past about 5 years ago, and it

Building ghc on Windows with msys2

2014-09-15 Thread Gintautas Miliauskas
Hello, I have been messing around a little bit with building GHC from source on Windows, and found the msys2 wikipage https://ghc.haskell.org/trac/ghc/wiki/Building/Preparation/Windows/MSYS2 quite useful, but somewhat outdated. Quite a few steps in those instructions are no longer necessary and

Shake based build system for GHC

2014-09-15 Thread Thomas Miedema
Hello SPJ (cc Neil Mitchell), on IRC it was brought up that there will be someone at GHC headquarters working on a Shake based build system. Can you tell us a little bit more about these plans. I wanted to try implementing this as well, but am happy to work on something else. Kind regards,

in ghc 7.8.3 on the Mac, for some packages cabal reinstalls the package instead of telling me I've already installed it

2014-09-15 Thread George Colpitts
In ghc 7.8.3 on the Mac, for some packages cabal reinstalls the package instead of telling me I've already installed it. ghc-pkg check shows I have no issues, e.g.: bash-3.2$ cabal install cabal-install Resolving dependencies... Configuring cabal-install-1.20.0.3... Building

Re: Shake based build system for GHC

2014-09-15 Thread Thomas Miedema
Hello Simon, Andrey Mokhov http://www.ncl.ac.uk/eee/staff/profile/andrey.mokhov, from the University of Newcastle, will be visiting MSR during his sabbatical, starting around 1 Oct. I’ve suggested to him that working on a Shake-based build system for GHC would be a good project: useful to

Cleaning up rather silly static arguments

2014-09-15 Thread David Feuer
Aside from anything having to do with the foldrW/buildW stuff, I decided to try a little experiment using fusing scanl and reverse (implementations at http://lpaste.net/2416758997739634688 ) When I define scanr f b = reverse . scanl (flip f) b . reverse I get this: scanr1 scanr1 = \ @ a_akP _