patch applied (ghc): Ensure that unification variables alloc'd during solving are untouchable

[Simon Peyton Jones]

Mon Nov 15 04:15:40 PST 2010  simonpj at microsoft.com
  * Ensure that unification variables alloc'd during solving are untouchable
  
  This fixes Trac #4494.  See Note [Extra TcsTv untouchables] in TcSimplify.

    M ./compiler/typecheck/TcCanonical.lhs -2 +2
    M ./compiler/typecheck/TcInteract.lhs -1 +9
    M ./compiler/typecheck/TcSMonad.lhs -8 +25
    M ./compiler/typecheck/TcSimplify.lhs -23 +73

View patch online:
http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc;a=darcs_commitdiff;h=20101115121540-1287e-f956d2c033ebe773dad6d771ac043c4c45693e31.gz