Ticket #4429 (new feature request)
Ability to specify the namespace in mkName
|Reported by:||reinerp||Owned by:||reinerp|
|Type of failure:||None/Unknown||Difficulty:||Unknown|
|Test Case:||Blocked By:|
Description (last modified by simonpj) (diff)
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.