{"push_id":939111864,"size":5,"distinct_size":5,"ref":"refs/heads/ghc-8.0","head":"30caafe829ce93a2e303b506cea21395b0a725eb","before":"018f8660d4317c0d8c6dce1ee73a24641ce0129e","commits":[{"sha":"b212af56b0b4ec8b0db13bcb84225093f6751d59","author":{"email":"396ca1f6dce6fa732fd1ba1a295d829a4b96d977@ewps.nl","name":"Rik Steenkamp"},"message":"Fix some typos\n\nDifferential Revision: https://phabricator.haskell.org/D1785\n\n(cherry picked from commit 148a50b5f8a9db4c3e2724540c41a7a7a10b3194)","distinct":true,"url":"https://api.github.com/repos/ghc/ghc/commits/b212af56b0b4ec8b0db13bcb84225093f6751d59"},{"sha":"953bbd31abcc1f328d1e70d5e84fceb402c07b42","author":{"email":"297b2d92c00cec17434146ade072ef2260042d56@gmail.com","name":"Alan Zimmerman"},"message":"Work SourceText in for all integer literals\n\nSummary:\nCertain syntactic elements have integers in them, such as fixity\nspecifications, SPECIALISE pragmas and so on.\n\nThe lexer will accept mult-radix literals, with arbitrary leading zeros\nin these.\n\nBring in a SourceText field to each affected AST element to capture the\noriginal literal text for use with API Annotations.\n\nAffected hsSyn elements are\n\n```\n     -- See note [Pragma source text]\n     data Activation = NeverActive\n                     | AlwaysActive\n                     | ActiveBefore SourceText PhaseNum\n                          -- Active only *strictly before* this phase\n                     | ActiveAfter SourceText PhaseNum\n                           -- Active in this phase and later\n                     deriving( Eq, Data, Typeable )\n                               -- Eq used in comparing rules in HsDecls\n\n     data Fixity = Fixity SourceText Int FixityDirection\n       -- Note [Pragma source text]\n       deriving (Data, Typeable)\n ```\n\nand\n\n```\n      | HsTickPragma         -- A pragma introduced tick\n         SourceText           -- Note [Pragma source text] in BasicTypes\n         (StringLiteral,(Int,Int),(Int,Int))\n                                          -- external span for this tick\n         ((SourceText,SourceText),(SourceText,SourceText))\n            -- Source text for the four integers used in the span.\n            -- See note [Pragma source text] in BasicTypes\n         (LHsExpr id)\n```\n\nUpdates haddock submodule\n\nTest Plan: ./validate\n\nReviewers: goldfire, bgamari, austin\n\nReviewed By: bgamari\n\nSubscribers: thomie, mpickering\n\nDifferential Revision: https://phabricator.haskell.org/D1781\n\nGHC Trac Issues: #11430\n\n(cherry picked from commit 3a1babd6243edd96073ed3e3a5fb6e0aaf11350e)","distinct":true,"url":"https://api.github.com/repos/ghc/ghc/commits/953bbd31abcc1f328d1e70d5e84fceb402c07b42"},{"sha":"9f466c8841c7ddda84951c9e3470540d25d0bfdb","author":{"email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com","name":"Simon Peyton Jones"},"message":"Fix a number of subtle solver bugs\n\nAs a result of some other unrelated changes I found that\nIndTypesPerf was failing, and opened Trac #11408.  There's\na test in indexed-types/should-compile/T11408.\n\nThe bug was that a type like\n forall t. (MT (UL t) (UR t) ~ t) => UL t -> UR t -> Int\nis in fact unambiguous, but it's a bit subtle to prove\nthat it is unambiguous.\n\nIn investigating, Dimitrios and I found several subtle\nbugs in the constraint solver, fixed by this patch\n\n* canRewrite was missing a Derived/Derived case.  This was\n  lost by accident in Richard's big kind-equality patch.\n\n* Interact.interactTyVarEq would discard [D] a ~ ty if there\n  was a [W] a ~ ty in the inert set.  But that is wrong because\n  the former can rewrite things that the latter cannot.\n  Fix: a new function eqCanDischarge\n\n* In TcSMonad.addInertEq, the process was outright wrong for\n  a Given/Wanted in the (GWModel) case.  We were adding a new\n  Derived without kicking out things that it could rewrite.\n  Now the code is simpler (no special GWModel case), and works\n  correctly.\n\n* The special case in kickOutRewritable for [W] fsk ~ ty,\n  turns out not to be needed.  (We emit a [D] fsk ~ ty which\n  will do the job.\n\nI improved comments and documentation, esp in TcSMonad.\n\n(cherry picked from commit 9308c736d43b92bf8634babf565048e66e071bd8)","distinct":true,"url":"https://api.github.com/repos/ghc/ghc/commits/9f466c8841c7ddda84951c9e3470540d25d0bfdb"},{"sha":"0fb7d4a185868470edcd7d49dc9f3dd18b688dbf","author":{"email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com","name":"Simon Peyton Jones"},"message":"Add missing T11408.hs\n\n(cherry picked from commit 3b6a4909ff579507a7f9527264e0cb8464fbe555)","distinct":true,"url":"https://api.github.com/repos/ghc/ghc/commits/0fb7d4a185868470edcd7d49dc9f3dd18b688dbf"},{"sha":"30caafe829ce93a2e303b506cea21395b0a725eb","author":{"email":"ef9c145df0d91f4ae3f2ee937c5757f539df3df6@gmail.com","name":"Ben Gamari"},"message":"rts/posix: Fail with HEAPOVERFLOW when out of memory during mmap\n\nTest Plan: Validate\n\nReviewers: simonmar, austin\n\nSubscribers: thomie\n\nDifferential Revision: https://phabricator.haskell.org/D1787\n\nGHC Trac Issues: #11300\n\n(cherry picked from commit ae1c48c60abdfb134de7e247df851da101f0dd96)","distinct":true,"url":"https://api.github.com/repos/ghc/ghc/commits/30caafe829ce93a2e303b506cea21395b0a725eb"}]}