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-
_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Reply via email to