Alexander Berntsen alexander at plaimi.net
Mon Oct 13 13:56:55 UTC 2014

Hash: SHA256

Just to let everyone know ExtraCommas is still alive: Alan and I just
had a pleasant chat as alluded to in the forwarded message below.

Despite being busy with other engagements lately, I am now picking up
the ExtraCommas work again. I will be operating on the same level as
Alan is in his work, and we'll be colliding a bit, no doubt. As such I
will make efforts to collaborate with Alan in making the merge process
nice before I submit any patches to phab.

My plan now is simply:
  -hack around and get confident with the hsSyn code (I am quite
confident in the Happy code already),
  -make a Wiki article with my idea and the details,
  -hack hack hack,
  -work with Alan to make sure merging is smooth,
  -& finally, submit a patch (or several).

- -Alexander

- -------- Original Message --------
Subject: Re: Capturing commas in the GHC parser
Date: Mon, 13 Oct 2014 13:37:28 +0200
From: Alan & Kim Zimmerman <alan.zimm at gmail.com>
To: Alexander Berntsen <alexander at plaimi.net>

On Mon, Oct 13, 2014 at 12:30 PM, Alexander Berntsen
<alexander at plaimi.net>
> Hallo Alan,
> I've been away for a week on a conference. In my absence I see you 
> have made some posts about capturing commas in API annotations. 
> Prior to leaving I was working on an ExtraCommas language pragma.
> I had accomplished trailing & leading commas for signature 
> variables, fixity declarations, list expressions, import & export 
> declarations, record updates, record declaration & maybe more that
> I don't remember. The way I had accomplished this was by manually 
> editing the happy code.
> SPJ showed me that I should have been messing about a level up,
> like you are doing.
> Consequently, I have a few questions. How much does your work 
> overlap with what I am doing? How far have you come? Do you have
> some advice for what I want to do?
> If we could schedule a little meeting for us to have a chat via 
> instant messaging, that would be great. I am on irc.freenode.net
> as <bernalex>, on XMPP via <alexanderberntsen at dukgo.com>, and you
> can call me via SIP if you want to do audio/video chat using 
> <alexander at sip.linphone.org>.

I am alanz on freenode, and alan.zimm at gmail.com which may still come
through on XMPP via hangouts.

I actually did a large part of working a HsCommaList through the AST,
including all the subsequent phases (renamer,typechecker etc), but have
since backed it out as I was misusing the structure firstly, and I had
up with another means of doing it.

My last commit with this in is


As you can see it is quite a far-reaching change, and mingled in with my
annotations stuff too.

I will be happy to talk to you about this, because it makes sense for our
stuff to work together, otherwise it will be much harder to merge at a
later date.

I am hoping to get my annotation changes to the AST and parser firmed up
this week, so that I can then just try to work with it to see that I have
everything captured.

Is there a place I can see what you have done?

Version: GnuPG v2
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/


More information about the ghc-devs mailing list