[GHC] #1968: data family + GADT: not implemented yet

[GHC]

#1968: data family + GADT: not implemented yet
------------------------------------------------+---------------------------
 Reporter:  Remi                                |          Owner:  chak   
     Type:  bug                                 |         Status:  new    
 Priority:  normal                              |      Milestone:         
Component:  Compiler (Type checker)             |        Version:  6.9    
 Severity:  normal                              |     Resolution:         
 Keywords:  data type family GADT choose_univs  |     Difficulty:  Unknown
 Testcase:                                      |   Architecture:  Unknown
       Os:  Unknown                             |  
------------------------------------------------+---------------------------
Changes (by chak):

  * owner:  => chak
  * summary:  data family + GADT = Non-exhaustive patterns in function
              choose_univs => data family + GADT: not
              implemented yet

Comment:

 GADT syntax for data families is not supported yet, I would have expected
 a better error message, though.  In your example, there is actually no
 need to use GADT syntax, just write
 {{{
 data family HiThere a :: *
 data instance HiThere () = HiThere
 }}}
 and you should be fine.

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