[commit: ghc] master: Fix typechecking of pattern bindings that have type signatures (Trac #7268) (0452021)

[Simon Peyton Jones]

Repository : http://darcs.haskell.org/ghc.git/

On branch  : master

https://github.com/ghc/ghc/commit/0452021e726ab44f3866faacf7817ac116bb58db

>---------------------------------------------------------------

commit 0452021e726ab44f3866faacf7817ac116bb58db
Author: Simon Peyton Jones <simonpj at microsoft.com>
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   | 79 +++++++++++++++++++++++-------------------
 2 files changed, 51 insertions(+), 49 deletions(-)


Diff suppressed because of size. To see it, use:

    git show 0452021e726ab44f3866faacf7817ac116bb58db