[commit: ghc] type-holes-branch: Simplify the implementation of Holes: remove the HolePred, HoleTyCon and immediately emit an insoluble constraint. (05a8253)
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/05a8253d787f902215115961dfc762e45402096c >--------------------------------------------------------------- commit 05a8253d787f902215115961dfc762e45402096c Author: Thijs Alkemade <[email protected]> Date: Wed May 23 12:00:52 2012 +0200 Simplify the implementation of Holes: remove the HolePred, HoleTyCon and immediately emit an insoluble constraint. Currently not working yet, the hole constraints are abstracted over causing incorrect types. Something about substituting is still failing. compiler/iface/IfaceEnv.lhs | 14 +++++----- compiler/prelude/TysWiredIn.lhs | 32 +---------------------- compiler/rename/RnExpr.lhs | 6 +++- compiler/rename/RnTypes.lhs | 4 +- compiler/typecheck/Inst.lhs | 7 +++-- compiler/typecheck/TcCanonical.lhs | 10 +++---- compiler/typecheck/TcErrors.lhs | 50 ++++++++++++----------------------- compiler/typecheck/TcExpr.lhs | 17 ++++++------ compiler/typecheck/TcInteract.lhs | 4 +- compiler/typecheck/TcMType.lhs | 12 ++++---- compiler/typecheck/TcRnDriver.lhs | 4 +-- compiler/typecheck/TcRnMonad.lhs | 7 +++++ compiler/typecheck/TcRnTypes.lhs | 14 +++++++--- compiler/typecheck/TcSimplify.lhs | 6 +++- compiler/typecheck/TcType.lhs | 2 +- compiler/types/TyCon.lhs | 8 +----- compiler/types/Type.lhs | 24 ++--------------- 17 files changed, 82 insertions(+), 139 deletions(-) Diff suppressed because of size. To see it, use: git show 05a8253d787f902215115961dfc762e45402096c