#4429: Ability to specify the namespace in mkName
---------------------------------+------------------------------------------
Reporter: reinerp | Owner: reinerp
Type: feature request | Status: new
Priority: normal | Milestone: 7.4.1
Component: Template Haskell | Version: 6.12.3
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Comment(by reinerp):
I'm wondering about the {{{Maybe Dec}}} field in the {{{VarI}}}
constructor of {{{Info}}}. Is it ever a {{{Just}}}? My understanding is
that {{{reify}}} should return a {{{Just}}} when the RHS is available, but
I can't get this to happen. For example, this code:
{{{
f = 0
$( do { inf <- reify (mkName "f"); runIO (print inf); [d| |] })
}}}
prints
{{{
VarI ReifyVar.f (VarT a_1946157057) Nothing (Fixity 9 InfixL)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4429#comment:21>
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
