1. 18 Apr, 2013 3 commits
  2. 16 Apr, 2013 2 commits
    • 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. 29 Jan, 2013 5 commits
  4. 27 Jan, 2013 1 commit
  5. 17 Jan, 2013 3 commits
  6. 12 Jan, 2013 3 commits
  7. 04 Jan, 2013 3 commits
  8. 03 Jan, 2013 6 commits
  9. 14 Dec, 2012 3 commits
  10. 07 Dec, 2012 8 commits
  11. 03 Dec, 2012 1 commit
    • 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. 02 Dec, 2012 1 commit
  13. 29 Nov, 2012 1 commit