[Haskell-cafe] Haskell source AST zipper with state

[Andrew Seniuk]

On Thu, May 3, 2012 at 2:22 AM, Niklas Broberg <niklas.broberg at gmail.com> wrote:
> On Thu, May 3, 2012 at 2:52 AM, Andrew Seniuk <rasfar at gmail.com> wrote:
>>
>> Note that the "Annotated" version of the HSE parser/AST will probably
>> not provide enough generality for the sorts of attributes you want to store...
>
> I do hope you're wrong on that! The annotations are fully general (and have
> been all along), so you can store whatever you like there(*). They are
> *used* for source locations by the parser, but that's just one possibility.
>
> (*) The only requirement is that you need to store values of the same type
> throughout the syntax tree - but Either or Maybe should do the trick there.

Sorry Niklas! Thanks for the mild correction. (Wish I'd understood
that when trying to compute the semilattice joins I needed.)

Any recommendations for a zipper (or other traversal) library for use with HSE?

Andrew