Splicer and context reprinting #7
Conversation
This allows us to add functions that add more logic to the splicing for example to keep track of output position and allow for line breaks where they might be needed.
This now takes the zipper rather than just the an out of context node allowing reprinting functions to take into account surrounding context. Added a somewhat contrived example test where it only adds comments if the variable is not via a literal, which would render the comment pointless. This could be achieved by just looking at the decl in this case, but in more complex languages printing of say brackets might be dependent on context.
|
Thanks, this looks useful! @dorchard has been saying he was keen on improving the reprinter interface. The line breaking is especially interesting. I feel like In regards to your last point, I think monadic reprinters can do a lot of that. The main difference is that they run without full context, which may restrict what you're able to do. What do you think? Did you have issues trying to implement similar things with a monadic reprinter/without |
|
Hmm yeah perhaps just the parent expression instead of the zipper would be simpler, just update it every time you go down the tree. I've not had to yet but I imagine there could be situations where you want more context than just a parent expression however. Ah maybe that is the way to do it, I'd expanded my reprinter from the examples which use |
|
I think I was wrong, you probably did have problems with doing much contextual work in a monadic reprinter. I tried and couldn't figure out how to implement my example of "work on a some AST node of type I've forked this to work on the |
|
Hmmm I see. Would there be some way of indicating to the monadic reprinter which movements have been taken? Although I'm unsure if that would fit nicely into how |
Remembered this was mentioned the other week but didn't get round to it, so I've rebased the changes onto current master. Really like the new
Example.lhsbtw, wish it was there when I was figuring out the library!I don't think either of these changes are the best approach (at the very least the
ZipperReprintingshould be optional, or used in a separate reprint function) but fix two issue with the reprinter I encountered while using it. Perhaps a better approach can be use figured out with this in mind.The splicer part allows a user defined function to be passed in which can perform extra formatting based on the
Reprintingmonad, in my case using a state monad to keep track of the position while we reprint, and then perform necessary line breaks where needed. This was needed because often we'd refactor lines and bring them over the 72 line limit of legacy fortran, causing errors. It kinda hijacks the existing monad, but this seemed like the simplest approach for it to work.The
ZipperReprintingallows for checks of the surrounding context by taking the zipper rather than the node as the argument, which I used to avoid printing more brackets than are necessary. In general I want explicit brackets around logical operators (i.e.((foo .ne. 0) .and. (bar .ne. 0)), but I do not want double brackets if something like this is at the top level of a conditional or in a function argument (i.e. neitherif ((foo .ne. 0)) thenorfoo((bar .ne. 0))).I think a better solution might be along the lines of having the reprinter also take an AST specific argument which details the context of the section we're reprinting (indentation level, what node it's contained within etc.), and then having the reprinting function itself do formatting based on this, perhaps running on additional unchanged nodes if a line break is needed. Maybe there's some way of making this generic so the context can be updated as the AST is traversed, and mapped to user defined input.