#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 <[email protected]>
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
_______________________________________________
ghc-tickets mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-tickets
