[GHC] #1444: Template Haskell: add proper support for qualified names in non-splicing applications

GHC ghc-devs at haskell.org
Sat Oct 19 23:57:44 UTC 2013


#1444: Template Haskell: add proper support for qualified names in non-splicing
applications
-------------------------------------+------------------------------------
        Reporter:  SamB              |            Owner:
            Type:  feature request   |           Status:  new
        Priority:  normal            |        Milestone:  _|_
       Component:  Template Haskell  |          Version:  6.6.1
      Resolution:                    |         Keywords:
Operating System:  Unknown/Multiple  |     Architecture:  Unknown/Multiple
 Type of failure:  None/Unknown      |       Difficulty:  Unknown
       Test Case:                    |       Blocked By:
        Blocking:                    |  Related Tickets:
-------------------------------------+------------------------------------

Comment (by errge):

 Yes, this is still relevant.

 Here is igloo's comment actualized for 7.7:
 {{{
 (echo import qualified System.IO; ~/tmp/ghc/inplace/bin/ghc-stage2
 -XTemplateHaskell -e 'Language.Haskell.TH.runQ [d| main = putStr "Foo" >>
 return () |] >>= (print . Language.Haskell.TH.ppr)')
 import qualified System.IO
 main_0 = System.IO.putStr "Foo" GHC.Base.>> GHC.Base.return GHC.Tuple.()
 }}}

 As you can see, the names are still "wrong".

 There is progress on #1480, but we still need to add export list
 reification to that new ModuleInfo datatype.  Once that is done, the user
 will be able to go through the imported modules at least and find one that
 exports the given function and the module name is likable.

 If this workaround is acceptable, then we can easily target 7.10 with
 this.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1444#comment:18>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the ghc-tickets mailing list