[commit: ghc] tc-untouchables's head updated: Some refactoring; removes simplifyCheck (7560dd6)

Simon Peyton Jones <[email protected]> Mon, 03 Sep 2012 15:00:08 -0700

Newsgroups	gmane.comp.lang.haskell.cvs.ghc
Message-ID	<[email protected]>

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

Branch 'tc-untouchables' now includes:

     b660cc0... make sure to remove the right link before calling 'ln -s' (could we use 'ln -sf'?)
     fe6ddf0... A bunch more simplification and refactoring to the constraint solver
     740cbdf... Merge branch 'tc-untouchables', remote branch 'origin' into tc-untouchables
     ff32f97... Wibbles to fe6ddf00, fixing infelicities
     d37deb7... Some comments and false starts to do with ArrForm
     82ace67... Comments only
     d4fa711... Remove historical Unique parameter from pushUntouchables
     ed7538b... Move inert_insols into the InertCans record
     64d07ab... Make kickOutRewritable kick out insolubles
     b493d39... When defaulting, check for *meta* tyvars
     7560dd6... Some refactoring; removes simplifyCheck