Repository : http://darcs.haskell.org/ghc.git/
On branch : master https://github.com/ghc/ghc/commit/0452021e726ab44f3866faacf7817ac116bb58db >--------------------------------------------------------------- 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 | 79 +++++++++++++++++++++++------------------- 2 files changed, 51 insertions(+), 49 deletions(-) Diff suppressed because of size. To see it, use: git show 0452021e726ab44f3866faacf7817ac116bb58db _______________________________________________ ghc-commits mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-commits
