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 _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
