patch applied (ghc-6.8/ghc): MERGED: Fix Trac #1899; missing equality check in typechecker's constraint simplifier

Ian Lynagh igloo at earth.li
Sun Mar 2 10:01:19 EST 2008


Sat Mar  1 06:53:06 PST 2008  Ian Lynagh <igloo at earth.li>
  * MERGED: Fix Trac #1899; missing equality check in typechecker's constraint simplifier
  simonpj at microsoft.com**20080226174743
   
   This patch fixes a missing equality check (uifying type variable b=b) in
   the new constraint simplifier in TcTyFuns.  As it stands, we were making
   'b' point to itself, which subsequently led to an infinite loop when
   zonking.  Test is T1899.hs

    M ./compiler/typecheck/TcTyFuns.lhs -14 +18



More information about the Cvs-ghc mailing list