[commit: ghc] master: Use new TcHsType.zonkSigType to establish Type invariants (8d49ef1)

[Simon Peyton Jones]

Repository : http://darcs.haskell.org/ghc.git/

On branch  : master

https://github.com/ghc/ghc/commit/8d49ef16c84b444592b6b234b6c97be047622df8

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

commit 8d49ef16c84b444592b6b234b6c97be047622df8
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu May 30 12:32:25 2013 +0100

    Use new TcHsType.zonkSigType to establish Type invariants
    
    Finally (I hope) fixes Trac #7903.
    
    See Note [Zonking inside the knot] in TcHsSyn

 compiler/prelude/TysPrim.lhs    | 26 +++++------
 compiler/typecheck/TcHsSyn.lhs  |  4 +-
 compiler/typecheck/TcHsType.lhs | 95 ++++++++++++++++++++++++++++++++++-------
 compiler/typecheck/TcMType.lhs  |  8 +++-
 compiler/types/Type.lhs         |  7 +--
 compiler/types/TypeRep.lhs      | 10 +----
 6 files changed, 105 insertions(+), 45 deletions(-)


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

    git show 8d49ef16c84b444592b6b234b6c97be047622df8