#11635: Higher-rank kind in datatype definition rejected -------------------------------------+------------------------------------- Reporter: phadej | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1-rc2 Resolution: | Keywords: TypeInType Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"1701255c06fed2aa2811f7f29f108d88fc4d6f26/ghc" 1701255/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="1701255c06fed2aa2811f7f29f108d88fc4d6f26" Fix #11635 / #11719. Instead of creating a new meta-tyvar and then unifying it with a known kind in a KindedTyVar in a LHsQTyVars, just use the known kind. Sadly, this still doesn't make #11719 usable, because while you can now define a higher-kinded type family, you can't write any equations for it, which is a larger problem. test cases: dependent/should_compile/T{11635,11719} }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11635#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler