[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