#7268: Explicit type signatures for top level record pattern matches polymorphism fail ----------------------------------------+----------------------------------- Reporter: TristanAllwood | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler (Type checker) | Version: 7.4.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: GHC rejects valid program Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ----------------------------------------+----------------------------------- Changes (by igloo): * owner: => simonpj * difficulty: => Unknown * milestone: => 7.8.1 Comment: Thanks for the report. Simon, could you take a look at what the expected behaviour is here, please? -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7268#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler