#7444: Derive Generic1 representation
-----------------------------+----------------------------------------------
Reporter:  spl               |          Owner:                  
    Type:  feature request   |         Status:  new             
Priority:  normal            |      Component:  Compiler        
 Version:  7.7               |       Keywords:                  
      Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
 Failure:  None/Unknown      |      Blockedby:                  
Blocking:                    |        Related:                  
-----------------------------+----------------------------------------------
 The [http://hackage.haskell.org/packages/archive/base/4.6.0.0/doc/html
 /GHC-Generics.html#t:Generic1 documentation] for `Generic1` says:

   ''Representable types of kind {{{* -> *}}} (not yet derivable).''

 I'm not sure if this feature is planned or not, but it would certainly be
 nice to have. Without it, I suspect the `Generic1` representation will not
 see much use, and it doesn't make much sense to write generic functions
 for it.

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

_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to