1. 19 Aug, 2013 3 commits
  2. 18 Aug, 2013 1 commit
  3. 16 Aug, 2013 3 commits
    • eir@cis.upenn.edu's avatar
      Fix Trac #8138. · ac382ab9
      eir@cis.upenn.edu authored
      The code in CoreLint did not take into account the possibility of
      ~R# arguments to functions. These can arise in argToPat in SpecConstr.
      Now, CoreLint does not fail when it sees a ~R# parameter.
      This commit also updates the core-spec document accordingly.
    • Jan Stolarek's avatar
      Comments only · 82d5aa03
      Jan Stolarek authored
      I restored part of documentation that describes what is a let-no-escape
      and which was deleted 10 months ago together with the old codegen. Then
      I removed lots of Literate Haskell clutter (like empty \begin{code} -
      \end{code} blocks) and finally decided to remove all the Literate Haskell
      markup because there wasn't much of it left, but it made comments so
      difficult to read.
    • Jan Stolarek's avatar
      Comments only · ec621f3c
      Jan Stolarek authored
  4. 15 Aug, 2013 1 commit
    • thoughtpolice's avatar
      Don't delete HsTimeConfig.h.in during distclean. · 94c35ddf
      thoughtpolice authored
      sdist preps the tree via distclean before anything else, which caused
      HsTimeConfig.h.in under 'time' to be deleted - even though it should be
      included in the resulting tarball for ./configure.
      The correct target is 'maintainer-clean'.
      I'm guessing the nightlies didn't complain because they run ./boot,
      forcing regeneration. NixOS's Hydra does not, though.
      Thanks to Peter Simons and Andres Löh for pointing this out.
      Signed-off-by: thoughtpolice's avatarAustin Seipp <aseipp@pobox.com>
  5. 14 Aug, 2013 5 commits
  6. 13 Aug, 2013 1 commit
  7. 12 Aug, 2013 1 commit
  8. 11 Aug, 2013 3 commits
  9. 10 Aug, 2013 1 commit
  10. 09 Aug, 2013 5 commits
  11. 06 Aug, 2013 3 commits
  12. 05 Aug, 2013 4 commits
  13. 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.
  14. 02 Aug, 2013 3 commits
  15. 01 Aug, 2013 2 commits
  16. 31 Jul, 2013 3 commits