#11663: GHC 8.0 type assignment in arguments of lambda working without Scoped Type Variables -------------------------------------+------------------------------------- Reporter: bitemyapp | Owner: Type: bug | Status: patch Priority: high | Milestone: 8.0.1 Component: Compiler | Version: 8.0.1-rc2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2054 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: new => patch * differential: => Phab:D2054 Comment: In the case of GHC 7.10 it appears the error is thrown from `RnTypes.badKindSigErr`, strangely enough. It appears that this broke in 1e041b7382b6aa329e4ad9625439f811e0f27232. I've opened Phab:D2054 to fix this. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11663#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler