#12427: Type inference regression with RankNTypes (GHC 8.1) -------------------------------------+------------------------------------- Reporter: thomie | Owner: Type: bug | Status: new Priority: highest | Milestone: 8.2.1 Component: Compiler (Type | Version: 8.1 checker) | Resolution: | Keywords: RankNTypes Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: #12431 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by slyfox): ghc-HEAD from Feb 2016: {{{ commit 62d1888ff45bd817409be2c3eacdc86cfef4bed8 Date: Thu Feb 11 11:00:24 2016 +0000 }}} typechecked the example above. I'll try to bisect. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12427#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler