#7688: :kind should do kind generalisation ---------------------------------+------------------------------------------ Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.6.2 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Comment(by goldfire): I don't know how hard it would be to implement, but you could always ask the user if they intended to turn on {{{-XPolyKinds}}} whenever having that option on would have produced a different output than having that option off. I've hit this problem numerous times and almost even wrote a bug report similar to yours, before I figured out what was going on. This issue is what prompted me finally to write a {{{ghci.conf}}} file. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7688#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler