#4429: Ability to specify the namespace in mkName
---------------------------------+------------------------------------------
Reporter: reinerp | Owner:
Type: feature request | Status: new
Priority: normal | Component: Template Haskell
Version: 6.12.3 | Keywords:
Testcase: | Blockedby:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Given
{{{
data Foo
data Bar = Foo
}}}
If we do {{{reify (mkName "Foo")}}} then we get the information about
"{{{Foo}}} the type", and not about "{{{Foo}}} the constructor".
(This is problematic, say, for a quasiquoter
{{{ [qq| ... Foo ... |] }}}
because the quasiquoter is forced to use {{{mkName "Foo"}}} as the
{{{Name}}} for reify -- the forms {{{'Foo}}} and {{{''Foo}}} are
unavailable to it.)
I would like a way around this problem. It seems like it would be enough
to communicate the namespace to {{{mkName}}}, so that the ambiguity no
longer exists.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4429>
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
