Ability to specify the namespace in mkName
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.
Edited by Simon Peyton Jones