1. 25 Jun, 2007 1 commit
  2. 13 Oct, 2006 1 commit
  3. 20 Sep, 2006 2 commits
  4. 17 Sep, 2006 5 commits
  5. 16 Sep, 2006 1 commit
  6. 15 Sep, 2006 1 commit
  7. 05 Nov, 2007 7 commits
  8. 29 Oct, 2007 1 commit
  9. 03 Nov, 2007 1 commit
  10. 29 Oct, 2007 1 commit
  11. 03 Nov, 2007 2 commits
  12. 28 Oct, 2007 1 commit
  13. 02 Nov, 2007 3 commits
  14. 01 Nov, 2007 3 commits
    • simonpj@microsoft.com's avatar
    • simonpj@microsoft.com's avatar
      Rejig the error messages a bit; fixes a minor bug · 2e68d041
      simonpj@microsoft.com authored
      The type checker was only reporting the first message if an equality
      failed to match.  This patch does a bit of refactoring and fixes the
      bug, which was in the bogus use of eqInstMisMatch 
      in tcSimplify.report_no_instances.b
      
      This is really a bug in 6.8 too, so this would be good to merge across
      to the 6.8 branch.
      2e68d041
    • David Waern's avatar
      Refactor Haddock options · 03d8585e
      David Waern authored
      This patch renames the DOC_OPTIONS pragma to OPTIONS_HADDOCK. It also
      adds "-- # ..."-style Haddock option pragmas, for compatibility with
      code that use them.
      
      Another change is that both of these two pragmas behave like
      OPTIONS_GHC, i.e. they are only allowed at the top of the module, they
      are ignored everywhere else and they are stored in the dynflags. There is
      no longer any Haddock options in HsSyn.
      
      Please merge this to the 6.8.2 branch when 6.8.1 is out, if appropriate.
      03d8585e
  15. 31 Oct, 2007 2 commits
  16. 30 Oct, 2007 2 commits
  17. 29 Oct, 2007 4 commits
  18. 27 Oct, 2007 1 commit
    • simonpj@microsoft.com's avatar
      In a pattern binding, a type sig in the pattern cannot bind a type variable · 2f647ec6
      simonpj@microsoft.com authored
      In a pattern binding with a pattern type signature, such as
      
      	(Just (x::a)) = e
      
      the pattern type signature cannot bind type variables.  Hence
      'a' must be in scope already for the above example to be legal.
      
      This has been the situation for some time, but Dan changed it when
      adding view patterns.  This one-line change restores the old behaviour.
      2f647ec6
  19. 29 Oct, 2007 1 commit
    • simonpj@microsoft.com's avatar
      Substantial improvement to the interaction of RULES and inlining · cc51a698
      simonpj@microsoft.com authored
      	(Merge to 6.8 branch after testing.)
      
      There were a number of delicate interactions between RULEs and inlining
      in GHC 6.6.  I've wanted to fix this for a long time, and some perf
      problems in the 6.8 release candidate finally forced me over the edge!
      
      The issues are documented extensively in OccurAnal, Note [Loop breaking
      and RULES], and I won't duplicate them here.  (Many of the extra lines in
      OccurAnal are comments!)
      
      This patch resolves Trac bugs #1709, #1794, #1763, I believe.
      
      cc51a698