#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 <[email protected]>
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
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
