#1444: Template Haskell: add proper support for qualified names in non-splicing
applications
------------------------------+---------------------------------------------
Reporter: SamB | Owner:
Type: feature request | Status: new
Priority: normal | Milestone: 6.10 branch
Component: Template Haskell | Version: 6.6.1
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Architecture: Unknown
Os: Unknown |
------------------------------+---------------------------------------------
Changes (by SamB):
* cc: SamB (added)
Comment:
Replying to [comment:12 igloo]:
> So basically you want pprinting TH to generate portable code.
Well, it doesn't have to be pprint. But it would be nice to have a
reasonable way...
> In general this is impossible as TH can dig out names that aren't
exported.
Well, obviously it won't be possible to print nonportable code into
portable code... but that isn't the point at all ;-).
> Apart from that, something like a "canonical" name could work. A nicer
alternative might be a way to ask, in the Q monad, which modules (either
giving it a list of module Name's, or using the modules that the current
module imports) export a given name.
It would be nice if it were possible to trace how the name was imported...
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1444#comment:13>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
