1. 25 Apr, 2015 1 commit
  2. 24 Apr, 2015 8 commits
  3. 22 Apr, 2015 13 commits
  4. 21 Apr, 2015 7 commits
  5. 20 Apr, 2015 2 commits
    • Simon Peyton Jones's avatar
      Teach DmdAnal that coercions are value arguments! · d5773a49
      Simon Peyton Jones authored
      The demand analyser was treating coercion args like type args,
      which meant that the arguments in a strictness signature got
      out of step with the arguments of a call.  Result chaos and
      disaster.  Trac #10288 showed it up.
      
      It's hard to get this bug to show up in practice because
       - functions abstracted over coercions are usually abstracted
         over *boxed* coercions
       - we don't currently unbox a boxed-coercion arg because it's
         GADT (I see how to fix this too)
      
      But after floating, optimisation, and so on, Trac #10288 did
      get a function abstracted over an unboxed coercion, and then
      the -flate-dmd-anal pass went wrong.
      
      I don't think I can come up with a test case, but I don't think
      it matters too much.
      
      Still to come
       - Fix a second bug, namely that coercion variables are wrongly
         marked as absent because DmdAnal doesn't check the the free
         variables of casts. I think this never bites in practice
         (see the follow-up commit)
      
       - Make GADT products work with strictness analysis
      d5773a49
    • Herbert Valerio Riedel's avatar
      Update Cabal submodule to 1.22.3.0 release · 4bc925a6
      Herbert Valerio Riedel authored
      Highlights since 1.22.2.0:
      
      - cabal check will fail on -fprof-auto passed as a ghc-option
      - filterConfigureFlags: filter more flags.
      - fix ghcjs-pkg version number handling
      
      Addresses #10304
      4bc925a6
  6. 18 Apr, 2015 1 commit
  7. 17 Apr, 2015 5 commits
  8. 16 Apr, 2015 3 commits