[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 <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <[email protected]> |
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 <[email protected]> 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