#11732: Deriving Generic1 interacts poorly with TypeInType -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.1 Resolution: | Keywords: TypeInType, | Generics Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by goldfire): * cc: andres@… (added) Comment: I can offer only an uninformed opinion on the design question, but that opinion is to be permissive (option 2). It sounds like you're saying it's possible and sound. It also seems that issue (1) needs to be fixed regardless. So why not be permissive? I'm also include Andres on this, as I believe he cares about generics, too. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11732#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler