[commit: ghc] type-holes-branch: Named holes now work, syntax: _a. (4615f40)
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/4615f4025a0201fa32fabf7427a447106d0a2f51 >--------------------------------------------------------------- commit 4615f4025a0201fa32fabf7427a447106d0a2f51 Author: Thijs Alkemade <[email protected]> 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