1. 22 Dec, 2014 7 commits
  2. 21 Dec, 2014 2 commits
  3. 20 Dec, 2014 6 commits
  4. 19 Dec, 2014 14 commits
  5. 18 Dec, 2014 6 commits
  6. 17 Dec, 2014 5 commits
    • Gabor Greif's avatar
      Minor typo in comment · 98686223
      Gabor Greif authored
    • Gabor Greif's avatar
      Typo in note · 7719b637
      Gabor Greif authored
    • Gabor Greif's avatar
      Typos in comments · ae1f2718
      Gabor Greif authored
    • eir@cis.upenn.edu's avatar
      Performance enhancements in TcFlatten. · 922168fd
      eir@cis.upenn.edu authored
      This commit fixes some performance regressions introduced by 0cc47eb9,
      adding more `Coercible` magic to the solver. See Note
      [flatten_many performance] in TcFlatten for more info.
      The improvements do not quite restore the old numbers. Given that
      the solver is really more involved now, I am accepting this regression.
      The way forward (I believe) would be to have *two* flatteners: one
      that deals only with nominal equalities and thus never checks roles,
      and the more general one. A nice design of keeping this performant
      without duplicating code eludes me, but someone else is welcome
      to take a stab.
    • Simon Peyton Jones's avatar
      Wibble error message · ea22a8f7
      Simon Peyton Jones authored