#7268: Explicit type signatures for top level record pattern matches polymorphism fail ---------------------------------------------+------------------------------ Reporter: TristanAllwood | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler (Type checker) | Version: 7.4.1 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: GHC rejects valid program | Difficulty: Unknown Testcase: typecheck/should_compile/T7268 | Blockedby: Blocking: | Related: ---------------------------------------------+------------------------------ Changes (by MartijnVanSteenbergen): * owner: simonpj => * status: closed => new * resolution: fixed => Comment: Hi Simon, looking at testcase T7891, wouldn't it be better to uncomment line 12 so that it becomes an actual regression test? -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7268#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler