[commit: ghc] wip/new-flatten-skolems-Aug14: Simon PJ work in progress on re-architecting flatten-skolems (8e893b1)
git at git.haskell.org
git at git.haskell.org
Thu Aug 7 20:34:12 UTC 2014
Repository : ssh://git@git.haskell.org/ghc
On branch : wip/new-flatten-skolems-Aug14
Link : http://ghc.haskell.org/trac/ghc/changeset/8e893b1e07b02574cf478ec00fe279d1655d6c28/ghc
>---------------------------------------------------------------
commit 8e893b1e07b02574cf478ec00fe279d1655d6c28
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Thu Aug 7 21:33:35 2014 +0100
Simon PJ work in progress on re-architecting flatten-skolems
The goal is to fix the wanted/wanted interaction in Trac #9318.
I'm not sure that this is anything like right yet, so don't take
it too seriously. Just wanting to put it in Git.
>---------------------------------------------------------------
8e893b1e07b02574cf478ec00fe279d1655d6c28
compiler/typecheck/Inst.lhs | 19 +-
compiler/typecheck/TcCanonical.lhs | 191 +++++++++---------
compiler/typecheck/TcErrors.lhs | 1 -
compiler/typecheck/TcHsSyn.lhs | 1 -
compiler/typecheck/TcInteract.lhs | 222 +++++++++------------
compiler/typecheck/TcMType.lhs | 15 +-
compiler/typecheck/TcRnMonad.lhs | 3 +-
compiler/typecheck/TcRnTypes.lhs | 62 +++---
compiler/typecheck/TcRules.lhs | 2 -
compiler/typecheck/TcSMonad.lhs | 219 ++++++++------------
compiler/typecheck/TcSimplify.lhs | 22 +-
compiler/typecheck/TcType.lhs | 30 ++-
compiler/typecheck/TcUnify.lhs | 1 -
.../tests/indexed-types/should_compile/Simple13.hs | 30 +++
.../tests/indexed-types/should_compile/Simple8.hs | 2 +-
.../tests/indexed-types/should_compile/T3826.hs | 54 ++++-
16 files changed, 420 insertions(+), 454 deletions(-)
Diff suppressed because of size. To see it, use:
git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc 8e893b1e07b02574cf478ec00fe279d1655d6c28
More information about the ghc-commits
mailing list