<div dir="ltr">Hello,<div><br></div><div>I'm attempting to add support for export of qualified modules (feature request #8043), and any guidance would be greatly appreciated. Namely I'm very familiar with languages / grammars / happy and was easily able to add an appropriate production alternative to Parser.y to construct a new AST node when 'qualified module' is seen in the export list, i.e.:</div><div><br></div><div><div>|  'module' modid             {% amsu (sLL $1 $> (IEModuleContents $2))</div><div>                                      [mj AnnModule $1] }</div><div>|  'qualified' 'module' qconid --maybeas</div><div>                              {% amsu (sLL $2 $> (IEModuleQualified $3))</div><div>                                      [mj AnnQualified $1] }</div><div><br></div></div><div>But now I'm lost in the compiler internals. Where should I be looking / focusing on? In particular:</div><div><br></div><div>- Where do exported identifiers get added to the list of "[LIE Name]" in ExportAccum (in TcRnExports.hs)?</div><div><br></div><div>Thanks,</div><div>-Karl Cronburg-</div></div>