#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: | ----------------------------------------+----------------------------------- Comment(by simonpj@…): commit 0452021e726ab44f3866faacf7817ac116bb58db {{{ Author: Simon Peyton Jones Date: Wed May 15 10:15:47 2013 +0100 Fix typechecking of pattern bindings that have type signatures (Trac #7268) Pattern bindings are jolly tricky to typecheck, especially if there are also type signatures involved. Trac #7268 pointed out that I'd got it wrong; this fixes it. See Note [Typing patterns in pattern bindings] in TcPat. compiler/typecheck/TcBinds.lhs | 21 ++++------ compiler/typecheck/TcPat.lhs | 81 +++++++++++++++++++++------------------ 2 files changed, 52 insertions(+), 50 deletions(-) }}} -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7268#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler