[GHC] #1577: Give TH the ability to get the info for a class name
GHC
trac at galois.com
Wed Aug 1 20:18:20 EDT 2007
#1577: Give TH the ability to get the info for a class name
--------------------------------+-------------------------------------------
Reporter: iampure at gmail.com | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: Template Haskell | Version: 6.6.1
Severity: normal | Keywords:
Difficulty: Unknown | Os: Unknown
Testcase: | Architecture: Unknown
--------------------------------+-------------------------------------------
In a module M, where a class G is imported from a module N, I want to get
all the methods and arities of G into some Info data structure. I thought
Template Haskell already offered this possibility, but sorear claimed with
very high confidence that this is not the case. In general: as much
information as is available to the compiler should be exposed in the Q
monad upto some sane cutoff.
I think Template Haskell is not being used that much, because it has lots
of arbitrary limitations and is not documented perfectly in one place.
It's a vicious circle: because TH (although it costed lots of
implementation effort already) is not perfect, there are little users.
Because there are not many users, the implementation isn't perfect.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1577>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the Glasgow-haskell-bugs
mailing list