1. 05 Apr, 2016 1 commit
  2. 04 Apr, 2016 5 commits
    • Eric Seidel's avatar
      Don't infer CallStacks · 7407a66d
      Eric Seidel authored
      We originally wanted CallStacks to be opt-in, but dealing with let
      binders complicated things, forcing us to infer CallStacks. It turns
      out that the inference is actually unnecessary though, we can let the
      wanted CallStacks bubble up to the outer context by refusing to
      quantify over them. Eventually they'll be solved from a given CallStack
      or defaulted to the empty CallStack if they reach the top.
      
      So this patch prevents GHC from quantifying over CallStacks, getting us
      back to the original plan. There's a small ugliness to do with
      PartialTypeSignatures, if the partial theta contains a CallStack
      constraint, we *do* want to quantify over the CallStack; the user asked
      us to!
      
      Note that this means that
      
        foo :: _ => CallStack
        foo = getCallStack callStack
      
      will be an *empty* CallStack, since we won't infer a CallStack for the
      hole in the theta. I think this is the right move though, since we want
      CallStacks to be opt-in. One can always write
      
        foo :: (HasCallStack, _) => CallStack
        foo = getCallStack callStack
      
      to get the CallStack and still have GHC infer the rest of the theta.
      
      Test Plan: ./validate
      
      Reviewers: goldfire, simonpj, austin, hvr, bgamari
      
      Reviewed By: simonpj, bgamari
      
      Subscribers: bitemyapp, thomie
      
      Projects: #ghc
      
      Differential Revision: https://phabricator.haskell.org/D1912
      
      GHC Trac Issues: #11573
      7407a66d
    • Ben Gamari's avatar
      Bump binary submodule · 9b6820cd
      Ben Gamari authored
      9b6820cd
    • Simon Peyton Jones's avatar
      Elaborate test for #11376 · b3ecd047
      Simon Peyton Jones authored
      This just adds the Prox stuff from the Description in Trac #11376
      to the test case,
      
      The class stuff seems weird becuase the type is ambiguous
      b3ecd047
    • Jason Eisenberg's avatar
      rts: Make StablePtr derefs thread-safe (#10296) · 90d7d608
      Jason Eisenberg authored
      Stable pointers can now be safely dereferenced while the stable pointer
      table is simultaneously being enlarged.
      
      Test Plan: ./validate
      
      Reviewers: ezyang, austin, bgamari, simonmar
      
      Subscribers: carter, thomie
      
      Differential Revision: https://phabricator.haskell.org/D2031
      
      GHC Trac Issues: #10296
      90d7d608
    • Simon Peyton Jones's avatar
      Deeply instantiate in :type · f2a2b79f
      Simon Peyton Jones authored
      See Trac #11376 and
       Note [Deeply instantiate in :type] in TcRnDriver
      
      Sadly this showed up one new problem (Trac #11786) and one opportunity
      (Trac #11787), so test T11549 is now marked expect-broken on these two.
      f2a2b79f
  3. 02 Apr, 2016 1 commit
    • Rik Steenkamp's avatar
      Improve printing of pattern synonym types · 72bd7f7b
      Rik Steenkamp authored
      Add the function `pprPatSynType :: PatSyn -> SDoc` for printing pattern
      synonym types, and remove the ambiguous `patSynType` function. Also,
      the types in a `PatSyn` are now tidy.
      
      Haddock submodule updated to reflect the removal of `patSynType` by
      mpickering.
      
      Fixes: #11213.
      
      Reviewers: goldfire, simonpj, austin, mpickering, bgamari
      
      Reviewed By: simonpj, mpickering
      
      Subscribers: bollmann, simonpj, thomie
      
      Differential Revision: https://phabricator.haskell.org/D1896
      
      GHC Trac Issues: #11213
      72bd7f7b
  4. 01 Apr, 2016 1 commit
  5. 31 Mar, 2016 10 commits
  6. 30 Mar, 2016 12 commits
  7. 29 Mar, 2016 10 commits