[GHC] #1673: Template Haskell support for type families

[GHC]

#1673: Template Haskell support for type families
-------------------------------------------+--------------------------------
    Reporter:  g9ks157k at acme.softbase.org  |        Owner:         
        Type:  feature request             |       Status:  new    
    Priority:  low                         |    Milestone:         
   Component:  Template Haskell            |      Version:  6.7    
    Severity:  normal                      |   Resolution:         
    Keywords:                              |   Difficulty:  Unknown
          Os:  Linux                       |     Testcase:         
Architecture:  x86                         |  
-------------------------------------------+--------------------------------
Changes (by simonpj):

  * priority:  normal => low

Comment:

 I don't think this is likely to happen any time soon.

 TH has a data type for Haskell programs, completely separate from GHC's
 data type. This is a strength because it brings stablity, but a weakness
 because it means it always lags a long way behind.

 In the case of type families, we barely have them working in GHC, so it'd
 might be a bit soon to dump them into TH.  And even when they are stable
 there's the question of who will do the design and implementation.
 Perhaps some TH users can join in!

 Meanwhile I'll put this as low priority.

 Simon

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