On 3/4/11 2:32 PM, Jason Dusek wrote:
On Fri, Mar 4, 2011 at 07:01, wren ng thorntonw...@freegeek.org wrote:
where the annotation of MergeAnn is merged with the previous
annotation up the tree (via mappend), thus allowing for
annotations to be inherited and modified incrementally based
on the
There's also Martin Erwig's Parametric Fortran - which looks largely
similar but hides some of the parametric types with existentials.
Check the papers on his website, epscially the PADL one:
http://web.engr.oregonstate.edu/~erwig/papers/abstracts.html
On Fri, Mar 4, 2011 at 07:01, wren ng thornton w...@freegeek.org wrote:
where the annotation of MergeAnn is merged with the previous
annotation up the tree (via mappend), thus allowing for
annotations to be inherited and modified incrementally based
on the Monoid instance; whereas the NewAnn
Hi List,
I am working on a Bash config generation system. I've decided
to factor out the Bash AST and pretty printer, here in a
pre-release state:
https://github.com/solidsnack/bash
One thing I'd like to support is generic annotations, so that
at a future time I can add (and
On 3/4/11 1:32 AM, Jason Dusek wrote:
Hi List,
I am working on a Bash config generation system. I've decided
to factor out the Bash AST and pretty printer, here in a
pre-release state:
https://github.com/solidsnack/bash
Awesome!
Given that every statement has an
On 4 March 2011 06:32, Jason Dusek jason.du...@gmail.com wrote:
-- From
https://github.com/solidsnack/bash/blob/c718de36d349efc9ac073a2c7082742c45606769/hs/Language/Bash/Syntax.hs
data Annotated t = Annotated t (Statement t)
data Statement t = SimpleCommand Expression [Expression]