<div dir="ltr"><div><div><div><div><div>Hi all<br><br>At the moment I am working through ghc-exactprint, adding a feature to add standard API annotations to any constructed AST so that it can be (pretty)-printed.<br><br></div>One of the major headaches is the decorations on a RdrName.<br><br></div>What I mean by this is that an item appearing in the AST as a RdrName may have parens or backquotes around it, and may have a preceding keyword out of [forall, pattern, type].<br><br></div>I am slowly teasing out the contextual requirements to determine these, but it seems that they should be captured directly in the AST already.  And not as API Annotations.<br><br></div>So the question is, does it make sense to do this?  Does it belong in the OccName or the RdrName if so?<br><br><br></div>Alan<br><div><div><div><br><br></div></div></div></div>