id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
1831,reify never provides the declaration of variables,guest,,"The information returned by reify when provided a variable Name is

{{{
VarI Name Type (Maybe Dec) Fixity
}}}

The Dec part, due to be nested in Maybe, is clearly optional. In fact, according to Language.Haskell.TH.Syntax:

{{{
-- Nothing for lambda-bound variables, and
-- for anything else TH can't figure out
-- E.g. [| let x = 1 in $(do { d <- reify 'x; .. }) |]
}}}

However, the typechecker (TcSplice module) always returns Nothing. So it's simply not implemented.


I suggest either implementing the feature or removing the Dec part of VarI. Either way, the type should be consistent with the features offered in TH.
",bug,new,normal,_|_,Template Haskell,6.8.1,,,alfonso.acosta@… eir@…,Unknown/Multiple,Unknown/Multiple,None/Unknown,Unknown,,,,