Skip to content
Snippets Groups Projects
  1. Apr 18, 2013
  2. Apr 16, 2013
    • Simon Peyton Jones's avatar
      Merge 1353d1 into the 7.6 branch · bd6875f0
      Simon Peyton Jones authored
      (without this I get an ASSERT failure)
      
          commit 1353d1ef
          Author: Simon Peyton Jones <simonpj@microsoft.com>
          Date:   Thu Dec 20 20:13:36 2012 +0000
      
          Fix over-zealous ASSERT in TcUnify
      bd6875f0
    • Simon Peyton Jones's avatar
      Merge b737a4 into the 7.6 branch, curing Trac #7748 · 3ed9baf4
      Simon Peyton Jones authored
      The caching of goals in the constraint solver led to a
      equality-constraint loop even in a really simple program!
      
          commit b737a453
          Author: Simon Peyton Jones <simonpj@microsoft.com>
          Date:   Fri Aug 31 10:05:03 2012 +0100
      
          More simplifications to the constraint solver
      
          * inert_solved becomes dictionaries-only, inert_solved_dicts
      
          * inert_solved_dicts is used only to cache the result of uses
            of a top level instance declaration, just like inert_solved_funeqs
      
          * That in turn simplifies xCtFlavor and rewriteCtFlavor, because
            they no longer need a "should I cache" parameter.  (Moreover the
            settings for this parameter were very subtle; it's easy to get
            loops if you cache too much.  Caching only top-level instance
            uses is much safer, and eliminates all these subtle cases.)
      3ed9baf4
  3. Jan 29, 2013
  4. Jan 27, 2013
  5. Jan 17, 2013
  6. Jan 12, 2013
  7. Jan 04, 2013
  8. Jan 03, 2013
  9. Dec 14, 2012
  10. Dec 07, 2012
  11. Dec 03, 2012
    • Simon Peyton Jones's avatar
      Fix Trac #7453 on the 7.6 branch · b637a24d
      Simon Peyton Jones authored
      This patch fixes a quite egregious bug. runTcS was intialising
      the 'untouchables' to NoUntouchables, which is quite wrong for
      the invocation in TcSimplify.simplifyInfer.  Result: missed
      skolem-escape check and seg-fault city.
      
      All this is done differently, and better, in HEAD, so this
      patch is needed only on the branch.
      b637a24d
  12. Dec 02, 2012
  13. Nov 29, 2012