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

[GHC]

#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  
    Severity:  normal            |   Resolution:         
    Keywords:                    |   Difficulty:  Unknown
          Os:  Unknown           |     Testcase:         
Architecture:  Unknown           |  
---------------------------------+------------------------------------------
Comment (by igloo):

 I could be wrong, but I think the problem is that they want to generate
 *portable* Haskell code, so if map is defined in GHC.Base and re-exported
 by Prelude then they need to be told "Prelude.map".

 Perhaps we could have something like this in GHC.Base:
 {{{
 {-# CANONICAL map Prelude #-}
 map :: ...
 map = ...
 }}}

 Then 'map would be Prelude.map, and we could also have :i tell us the
 canonical name:
 {{{
 :Prelude> :i map
 map :: (a -> b) -> [a] -> [b]   -- Defined in GHC.Base, canonical location
 Prelude.map
 }}}

 It would probably make GHC's internals more complex, though, and with
 separate compilation it's also not obvious how to check it's actually
 correct.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1444>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
-------------- next part --------------
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs at haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs