#14160: Type inference breaking change in GHC 8.0.2 -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 8.2.1 Resolution: wontfix | Keywords: | ImpredicativeTypes Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #11319 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * status: new => closed * resolution: => wontfix * related: => #11319 Comment: I was just about to open a new ticket with a title like "Figure out how to salvage `ImpredicativeTypes`", but then I discovered #11319, with the very apt title "`ImpredicativeTypes` even more broken than usual". I think this is a good place for this discussion (especially since it talks about `TypeApplications`), so I'll move the discussion there. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14160#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler