Re: [Haskell-cafe] Haskell source AST zipper with state

On Thu, May 3, 2012 at 2:22 AM, Niklas Broberg wrote:

On Thu, May 3, 2012 at 2:52 AM, Andrew Seniuk 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