[commit: ghc] type-holes-branch: Add comments about how untouchables work (2365822)

Simon Peyton Jones <[email protected]> Mon, 17 Sep 2012 04:05:01 -0700

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/23658225fa60469937a805f2533a3e2fe76b47b1

>---------------------------------------------------------------

commit 23658225fa60469937a805f2533a3e2fe76b47b1
Author: Simon Peyton Jones <[email protected]>
Date:   Thu Sep 6 12:18:45 2012 +0100

    Add comments about how untouchables work
    
    See Note [Untouchable type variables] in TcType

 compiler/typecheck/TcSimplify.lhs |   50 ++++-------------
 compiler/typecheck/TcType.lhs     |  111 ++++++++++++++++++++++++++++--------
 2 files changed, 98 insertions(+), 63 deletions(-)


Diff suppressed because of size. To see it, use:

    git show 23658225fa60469937a805f2533a3e2fe76b47b1