#14729: normaliseType is not well-kinded -------------------------------------+------------------------------------- Reporter: goldfire | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #15549 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): It'd be great to fix this -- and document the invariant on `normaliseType`, namely that the result has the same kind as its argument. As I understand it, that's entirely consistent with our new (and now implemented in HEAD) story, that flattening does not change the kind of the type being flattened. Richard: are you up for doing this? I assume that the "my branch" part is now water under the bridge, because the new flattening stuff is done. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14729#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler