1. 07 Feb, 2011 1 commit
  2. 08 Feb, 2011 1 commit
  3. 07 Feb, 2011 1 commit
  4. 04 Feb, 2011 2 commits
  5. 03 Feb, 2011 2 commits
  6. 02 Feb, 2011 11 commits
  7. 01 Feb, 2011 2 commits
  8. 27 Jan, 2011 1 commit
  9. 25 Jan, 2011 1 commit
  10. 01 Feb, 2011 3 commits
  11. 31 Jan, 2011 2 commits
    • simonpj@microsoft.com's avatar
      Improve Simplifier and SpecConstr behaviour · 70ad6e6a
      simonpj@microsoft.com authored
      Trac #4908 identified a case where SpecConstr wasn't "seeing" a
      specialisation it should easily get.  The solution was simple: see
      Note [Add scrutinee to ValueEnv too] in SpecConstr.
      
      Then it turned out that there was an exactly analogous infelicity in
      the mighty Simplifer too; see Note [Add unfolding for scrutinee] in
      Simplify. This fix is good for Simplify even in the absence of the
      SpecConstr change.  (It arose when I moved the binder- swap stuff to
      OccAnall, not realising that it *remains* valuable to record info
      about the scrutinee of a case expression.  The Note says why.
      
      Together these two changes are unconditionally good.  Better
      simplification, better specialisation. Thank you Max.
      70ad6e6a
    • Simon Marlow's avatar
      fix warning · 209e0935
      Simon Marlow authored
      209e0935
  12. 13 Oct, 2010 1 commit
  13. 19 Jan, 2011 1 commit
  14. 11 Nov, 2010 1 commit
  15. 01 Nov, 2010 1 commit
  16. 20 Aug, 2010 1 commit
  17. 31 Jan, 2011 1 commit
  18. 28 Jan, 2011 2 commits
  19. 24 Jan, 2011 1 commit
    • Simon Marlow's avatar
      Merge in new code generator branch. · 889c084e
      Simon Marlow authored
      This changes the new code generator to make use of the Hoopl package
      for dataflow analysis.  Hoopl is a new boot package, and is maintained
      in a separate upstream git repository (as usual, GHC has its own
      lagging darcs mirror in http://darcs.haskell.org/packages/hoopl).
      
      During this merge I squashed recent history into one patch.  I tried
      to rebase, but the history had some internal conflicts of its own
      which made rebase extremely confusing, so I gave up. The history I
      squashed was:
      
        - Update new codegen to work with latest Hoopl
        - Add some notes on new code gen to cmm-notes
        - Enable Hoopl lag package.
        - Add SPJ note to cmm-notes
        - Improve GC calls on new code generator.
      
      Work in this branch was done by:
         - Milan Straka <fox@ucw.cz>
         - John Dias <dias@cs.tufts.edu>
         - David Terei <davidterei@gmail.com>
      
      Edward Z. Yang <ezyang@mit.edu> merged in further changes from GHC HEAD
      and fixed a few bugs.
      889c084e
  20. 28 Jan, 2011 1 commit
    • simonpj@microsoft.com's avatar
      Fix an egregious strictness analyser bug (Trac #4924) · f1a90f54
      simonpj@microsoft.com authored
      The "virgin" flag was being threaded rather than treated
      like an environment.  As a result, the second and subsequent
      recursive definitions in a module were not getting a
      correctly-initialised fixpoint loop, causing much worse
      strictness analysis results.  Indeed the symptoms in
      Trac #4924 were quite bizarre.
      
      Anyway, it's easily fixed.  Merge to stable branch.
      f1a90f54
  21. 27 Jan, 2011 2 commits
    • simonpj@microsoft.com's avatar
      Refine incomplete-pattern checks (Trac #4905) · a0f6d307
      simonpj@microsoft.com authored
      The changes are:
      
      * New flag -fwarn-incomplete-uni-patterns, which checks for
        incomplete patterns in (a) lambdas, (b) pattern bindings
      
      * New flag is not implied by -W or -Wall (too noisy; and many
        libraries use incomplete pattern bindings)
      
      * Actually do the incomplete-pattern check for pattern bindings
        (previously simply omitted)
      
      * Documentation for new flag
      a0f6d307
    • Ian Lynagh's avatar
      Fix "make 1" etc following the build system changes · c1e824a2
      Ian Lynagh authored
      The logic is now in mk/compiler-ghc.mk rather than being duplicated in
      ghc/Makefile and compiler/Makefile.
      c1e824a2
  22. 26 Jan, 2011 1 commit