Hello, 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.: | 'module' modid {% amsu (sLL $1 $> (IEModuleContents $2)) [mj AnnModule $1] } | 'qualified' 'module' qconid --maybeas {% amsu (sLL $2 $> (IEModuleQualified $3)) [mj AnnQualified $1] } But now I'm lost in the compiler internals. Where should I be looking / focusing on? In particular: - Where do exported identifiers get added to the list of "[LIE Name]" in ExportAccum (in TcRnExports.hs)? Thanks, -Karl Cronburg-