[commit: ghc] master: Add support for *named* holes; an extension of -XTypeHoles (677144b)

[Simon Peyton Jones]

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/677144b858f4a425e77399bdfbfcd43dbabd1488

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

commit 677144b858f4a425e77399bdfbfcd43dbabd1488
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Jan 30 12:39:07 2013 +0000

    Add support for *named* holes; an extension of -XTypeHoles
    
    The idea is that you can use "_foo" rather than just "_"
    as a "hole" in an expression, and this name shows up in
    type errors etc.
    
    The changes are very straightforward.
    Thanks for Thijs Alkemade for making the running here.

 compiler/deSugar/Coverage.lhs      |    2 +-
 compiler/deSugar/DsExpr.lhs        |    2 +-
 compiler/hsSyn/HsExpr.lhs          |   11 +++--
 compiler/rename/RnEnv.lhs          |    2 +-
 compiler/rename/RnExpr.lhs         |   20 ++++++---
 compiler/typecheck/TcCanonical.lhs |   11 +++--
 compiler/typecheck/TcErrors.lhs    |   10 ++--
 compiler/typecheck/TcExpr.lhs      |   22 ++++++----
 compiler/typecheck/TcHsSyn.lhs     |    4 +-
 compiler/typecheck/TcRnTypes.lhs   |    7 ++-
 docs/users_guide/glasgow_exts.xml  |   72 ++++++++++++++++++++++++-----------
 11 files changed, 102 insertions(+), 61 deletions(-)


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

    git show 677144b858f4a425e77399bdfbfcd43dbabd1488