#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
