[commit: ghc] type-holes-branch: Named holes now work, syntax: _a. (4615f40)

[Simon Peyton Jones]

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

On branch  : type-holes-branch

http://hackage.haskell.org/trac/ghc/changeset/4615f4025a0201fa32fabf7427a447106d0a2f51

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

commit 4615f4025a0201fa32fabf7427a447106d0a2f51
Author: Thijs Alkemade <thijsalkemade at gmail.com>
Date:   Fri Dec 2 09:53:21 2011 +0100

    Named holes now work, syntax: _a.
    
    They work in a very similar way as Implicit Parameters, but their constraint does not show up in the function's signature. Named holes generate constrains, solving them now appears to work (but unification seems to not happen in all cases). They aren't printed at the end yet.

 compiler/coreSyn/CoreSyn.lhs       |    4 +-
 compiler/deSugar/DsExpr.lhs        |    2 +-
 compiler/hsSyn/HsExpr.lhs          |    6 ++--
 compiler/iface/IfaceEnv.lhs        |   23 +++++++++++++-
 compiler/main/HscTypes.lhs         |    5 ++-
 compiler/parser/Lexer.x            |   10 +++++-
 compiler/parser/Parser.y.pp        |    2 +-
 compiler/prelude/TysWiredIn.lhs    |   31 ++++++++++++++++++-
 compiler/rename/RnExpr.lhs         |    8 +++--
 compiler/rename/RnTypes.lhs        |    9 ++++-
 compiler/typecheck/Inst.lhs        |    2 +
 compiler/typecheck/TcCanonical.lhs |   21 +++++++++++-
 compiler/typecheck/TcErrors.lhs    |    1 +
 compiler/typecheck/TcExpr.lhs      |   34 +++++++++++---------
 compiler/typecheck/TcInteract.lhs  |   59 ++++++++++++++++++++++++++++--------
 compiler/typecheck/TcMType.lhs     |    2 +
 compiler/typecheck/TcRnDriver.lhs  |   32 +++++++++++--------
 compiler/typecheck/TcRnMonad.lhs   |    2 +-
 compiler/typecheck/TcRnTypes.lhs   |   23 +++++++++++++-
 compiler/typecheck/TcSMonad.lhs    |   14 +++++++-
 compiler/typecheck/TcUnify.lhs     |    4 ++-
 compiler/types/TyCon.lhs           |    8 ++++-
 compiler/types/Type.lhs            |   24 +++++++++++++--
 23 files changed, 254 insertions(+), 72 deletions(-)


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

    git show 4615f4025a0201fa32fabf7427a447106d0a2f51