Skip to content
Snippets Groups Projects
  1. May 25, 2011
  2. May 24, 2011
  3. May 19, 2011
  4. May 18, 2011
    • dimitris's avatar
      Fixes the way we check if flattening happened during · b6264a6b
      dimitris authored
      canonicalization. We now check whether the returned
      coercion is an identity coercion. We used to check
      whether we return any constraints from flattening but
      that's wrong in the presence of the flattening cache.
      b6264a6b
  5. May 17, 2011
    • dimitris's avatar
      Introducing: · 9591547f
      dimitris authored
         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.
      9591547f
  6. May 16, 2011
  7. May 15, 2011
  8. May 14, 2011
  9. May 12, 2011
Loading