#7459: deriving Generic does not work with TypeLits
Reporter:  maxtaldykin       |          Owner:  dreixel         
    Type:  feature request   |         Status:  new             
Priority:  normal            |      Component:  Compiler        
 Version:  7.6.1             |       Keywords:                  
      Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
 Failure:  Other             |      Blockedby:                  
Blocking:                    |        Related:                  
Changes (by dreixel):

  * owner:  => dreixel
  * failure:  GHC rejects valid program => Other
  * type:  bug => feature request


 Thanks for the report, although I don't think this is a bug. We have not
 intended `Generic` to be used with `TypeLits` (or any `DataKinds` stuff);
 the error message is not entirely accurate, but that's not what you are

 Changing `isTauTy` might have deep implications throughout the compiler; I
 don't think that's the right "fix" here. I would be more inclined to
 change `bad_arg_type` in `TcGenGenerics`. But first we should think
 exactly of what generic programming with arguments of kind `Symbol`
 implies. Can you tell me what kind of generic functionality you want on
 datatypes such as `F` and `X`? Just some example values and the functions
 you would want to use on them would be clarifying.

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

Glasgow-haskell-bugs mailing list

Reply via email to