From: Dimitrios Vytiniotis <dimitris@microsoft.com>
Date: Tue, 17 May 2011 16:24:50 +0000 (+0100)
Subject: Introducing:
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;ds=inline;h=9591547fbbdf12728884e125f8ba08b0e6e69f82;hp=9591547fbbdf12728884e125f8ba08b0e6e69f82;p=ghc-hetmet.git

Introducing:
   1) Postponing the application of instances when there
      is a possibility of a given matching. With the addition
      of prioritizing equalities this fixes #5002 and #4981.

   2) Implemented caching of flattening in constraint
      simplification. This improves efficiency (fixes #5030)

   3) Simplified pushing of unsolved wanteds
      (now pushing only equalities) inside implications.
---