#11663: GHC 8.0 type assignment in arguments of lambda working without Scoped Type Variables -------------------------------------+------------------------------------- Reporter: bitemyapp | Owner: Type: bug | Status: new Priority: normal | 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): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): I have no idea. It should really be rejected without language extensions. If someone would like to poke around and see where the missing test is, it'd be great. Can't be hard. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11663#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler