#10194: Shouldn't this require ImpredicativeTypes? -------------------------------------+------------------------------------- Reporter: kosmikus | Owner: Type: bug | Status: merge Priority: normal | Milestone: 7.10.2 Component: Compiler (Type | Version: 7.8.4 checker) | Keywords: Resolution: fixed | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: GHC accepts | Test Case: invalid program | typecheck/should_fail/T10194 Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by goldfire): Though I am not at all affected by this, I agree with Joachim (nomeata). I think this sort of wibble in a patch release just makes users groan, and for no great reason beyond pedantry. (I'm not using ''pedantry'' negatively there, as doing so would be quite hypocritical, but that really is the only reason for this change.) I propose unmerging but surely keeping the fix in master. It ''is'' a bugfix, but just not one that needs to be released at the moment. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10194#comment:15 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler