1. 06 Aug, 2013 3 commits
  2. 05 Aug, 2013 4 commits
  3. 04 Aug, 2013 1 commit
    • eir@cis.upenn.edu's avatar
      Refactor checking for GADT-like datacons' return types · 3cd1360f
      eir@cis.upenn.edu authored
      This check is somewhat subtle. See Note [Checking GADT return types]
      in TcTyClsDecls. The new plan is to check *before* desugaring the type
      from HsType to Type. This avoids problems with the pattern-match
      in rejigConRes.
      
      As a nice side benefit to this, I discovered that Template Haskell
      splices were a little conservative in their treatment of valid data
      constructors. (For example, a kind signature in the return type caused
      failure.) Now, the TH code uses exactly the same function as the
      "real" code, which is nice. See hsTyGetAppHead_maybe in HsTypes.
      3cd1360f
  4. 02 Aug, 2013 3 commits
  5. 01 Aug, 2013 2 commits
  6. 31 Jul, 2013 8 commits
  7. 30 Jul, 2013 4 commits
  8. 28 Jul, 2013 4 commits
  9. 27 Jul, 2013 6 commits
  10. 26 Jul, 2013 1 commit
  11. 25 Jul, 2013 2 commits
  12. 24 Jul, 2013 1 commit
    • Simon Marlow's avatar
      Fix a bug in stack layout with safe foreign calls (#8083) · c2348859
      Simon Marlow authored
      We weren't properly tracking the number of stack arguments in the
      continuation of a foreign call.  It happened to work when the
      continuation was not a join point, but when it was a join point we
      were using the wrong amount of stack fixup.
      c2348859
  13. 23 Jul, 2013 1 commit