#2339: Template Haskell reification with mkName doesn't work right
------------------------------+---------------------------------------------
Reporter: simonpj | Owner: simonpj
Type: bug | Status: new
Priority: normal | Milestone:
Component: Template Haskell | Version: 6.8.2
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: TH_reifyMkName | Architecture: Unknown
Os: Unknown |
------------------------------+---------------------------------------------
Changes (by simonpj):
* testcase: => TH_reifyMkName
* owner: => simonpj
Comment:
Yes, there's a bug here, thank you.
It would certainly be better to say
{{{
reify ''C
}}}
as someone pointed out. That is the Right Way. But what you wrote should
work too. I'm validating a fix now.
There's still an ambiguity though. If you write
{{{
data T = T Int
$( ...reify (mkName "T")...)
}}}
then are you expecting the ''type constructor'' T or the ''data
constructor'' T? My fix gives you the type constructor if there is one,
and data constructor otherwise. But you can choose by using the quote
notation, which is more robust.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2339#comment:1>
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
