[commit: ghc] type-holes-branch: Wrap hole names in a new type constructor, just like Implicit Parameters. Keep an environment of the holes and their types, so they can be passed to simplifyInfer. (d340cd4)

[Simon Peyton Jones]

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

On branch  : type-holes-branch

http://hackage.haskell.org/trac/ghc/changeset/d340cd499e67094dab71c9ef4b0172414831ad47

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

commit d340cd499e67094dab71c9ef4b0172414831ad47
Author: Thijs Alkemade <thijsalkemade at gmail.com>
Date:   Wed Feb 29 11:28:03 2012 +0100

    Wrap hole names in a new type constructor, just like Implicit Parameters. Keep an environment of the holes and their types, so they can be passed to simplifyInfer.

 compiler/basicTypes/BasicTypes.lhs |   21 ++++++++++
 compiler/basicTypes/Unique.lhs     |    3 +
 compiler/deSugar/DsExpr.lhs        |    2 +-
 compiler/hsSyn/HsExpr.lhs          |    2 +-
 compiler/iface/IfaceEnv.lhs        |    6 +-
 compiler/main/HscTypes.lhs         |    2 +-
 compiler/parser/Parser.y.pp        |    6 +-
 compiler/prelude/TysWiredIn.lhs    |    6 +-
 compiler/rename/RnTypes.lhs        |    6 +-
 compiler/typecheck/TcBinds.lhs     |    7 +++-
 compiler/typecheck/TcCanonical.lhs |   10 +++-
 compiler/typecheck/TcExpr.lhs      |   16 ++++---
 compiler/typecheck/TcMType.lhs     |    2 +-
 compiler/typecheck/TcRnDriver.lhs  |   73 ++++++++++++++++++++++--------------
 compiler/typecheck/TcRnTypes.lhs   |    6 +-
 compiler/typecheck/TcSMonad.lhs    |    5 +-
 compiler/typecheck/TcType.lhs      |    4 +-
 compiler/types/TyCon.lhs           |    6 +-
 compiler/types/Type.lhs            |   10 ++--
 compiler/utils/Outputable.lhs      |    2 +-
 20 files changed, 124 insertions(+), 71 deletions(-)


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

    git show d340cd499e67094dab71c9ef4b0172414831ad47