[GHC] #4946: reify does not work on data structures defined in files without Language pragma of Template Haskell and without -fth or -XTemplateHaskell command line flags

[GHC]

#4946: reify does not work on data structures defined in files without Language
pragma of Template Haskell and without -fth or -XTemplateHaskell command
line flags
---------------------------+------------------------------------------------
  Reporter:  guest         |          Owner:        
      Type:  bug           |         Status:  closed
  Priority:  normal        |      Milestone:  7.4.1 
 Component:  GHCi          |        Version:  7.0.1 
Resolution:  invalid       |       Keywords:        
  Testcase:                |      Blockedby:        
Difficulty:                |             Os:  Linux 
  Blocking:                |   Architecture:  x86   
   Failure:  None/Unknown  |  
---------------------------+------------------------------------------------

Comment(by simonpj@…):

 commit ffada1e9e717e7d0fb66ce02cdb551b2932f7be1
 {{{
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Fri Sep 9 12:50:07 2011 +0100

     Record selectors should be Exported Ids

     We don't want to drop record selectors as dead code, even if they
     aren't exported in the module header.  The data type decl in the
     inteface file advertises their presenece, and we may get at them via
     Template Haskell.

        module M( f ) where
          data T = MkT { boo :: Int }
          f :: T -> T
          f = <blah>

     We don't want to drop the record selector for 'boo'.

     See Trac #4946

  compiler/typecheck/TcTyClsDecls.lhs |    3 ++-
  1 files changed, 2 insertions(+), 1 deletions(-)
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4946#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler