{"push_id":1080616011,"size":92,"distinct_size":92,"ref":"refs/heads/set-incall-capability","head":"030981c14840751181f0a4e13b016263b0d57b4d","before":"fa7266a7564b5fcad72a4cf50dcde4cc9a5d7445","commits":[{"sha":"b1084fd700e6bbe9d0d787046a6aabdb193982c4","author":{"email":"cd4786f13e62ed6bb2b908ed2441bc4082f660fb@cis.upenn.edu","name":"Richard Eisenberg"},"message":"Fix #11811.\n\nPreviously, I had forgotten to omit variables already in scope\nfrom the TypeInType CUSK check. Simple enough to fix.\n\nTest case: typecheck/should_compile/T11811","distinct":true,"url":"https://api.github.com/repos/simonmar/ghc/commits/b1084fd700e6bbe9d0d787046a6aabdb193982c4"},{"sha":"dd99f2ece1bd139be02beddc6dc672862ee5ae34","author":{"email":"cd4786f13e62ed6bb2b908ed2441bc4082f660fb@cis.upenn.edu","name":"Richard Eisenberg"},"message":"Fix #11797.\n\nDsMeta curiously omitted quantified tyvars in certain circumstances.\nThis patch means it doesn't.\n\nTest case: th/T11797","distinct":true,"url":"https://api.github.com/repos/simonmar/ghc/commits/dd99f2ece1bd139be02beddc6dc672862ee5ae34"},{"sha":"0b6dcf6d2ccac3b43037650279256022a352de53","author":{"email":"cd4786f13e62ed6bb2b908ed2441bc4082f660fb@cis.upenn.edu","name":"Richard Eisenberg"},"message":"Fix #11814 by throwing more stuff into InScopeSets","distinct":true,"url":"https://api.github.com/repos/simonmar/ghc/commits/0b6dcf6d2ccac3b43037650279256022a352de53"},{"sha":"d81cdc227cd487659995ddea577214314c9b4b97","author":{"email":"cd4786f13e62ed6bb2b908ed2441bc4082f660fb@cis.upenn.edu","name":"Richard Eisenberg"},"message":"Teach lookupLocalRdrEnv about Exacts. (#11813)","distinct":true,"url":"https://api.github.com/repos/simonmar/ghc/commits/d81cdc227cd487659995ddea577214314c9b4b97"},{"sha":"49560ba78c8ac7319665735eb33bfa37cc04d849","author":{"email":"d000de049448e51549b6fa379cf4661e6d30a770@gmail.com","name":"Bartosz Nitka"},"message":"Fix commented out debugging code in ByteCodeGen\n\nIt changed from VarSet to DVarSet some time ago.","distinct":true,"url":"https://api.github.com/repos/simonmar/ghc/commits/49560ba78c8ac7319665735eb33bfa37cc04d849"},{"sha":"227a29d1cc1d4cf875ea5c7997493907137c0805","author":{"email":"d000de049448e51549b6fa379cf4661e6d30a770@gmail.com","name":"Bartosz Nitka"},"message":"Fix typos: tyars -> tyvars","distinct":true,"url":"https://api.github.com/repos/simonmar/ghc/commits/227a29d1cc1d4cf875ea5c7997493907137c0805"},{"sha":"20f905609aaab29b80247e85c96d50e8d697dae0","author":{"email":"d000de049448e51549b6fa379cf4661e6d30a770@gmail.com","name":"Bartosz Nitka"},"message":"Remove some old commented out code in StgLint\n\nThis looks like some traces of an experiment to check if shadowing is good for\nSTG. The code refers to things that don't exist anymore and this part of\ncode hasn't been touched for ages, so I think this should be safe to\nremove.\n\nTest Plan: just comments\n\nReviewers: austin, bgamari, simonpj\n\nReviewed By: simonpj\n\nSubscribers: thomie, simonmar\n\nDifferential Revision: https://phabricator.haskell.org/D2114","distinct":true,"url":"https://api.github.com/repos/simonmar/ghc/commits/20f905609aaab29b80247e85c96d50e8d697dae0"},{"sha":"3a34b5c32303734c794f27728025e8a9fb410fb3","author":{"email":"1d6e1cf70ec6f9ab28d3ea4b27a49a77654d370e@joachim-breitner.de","name":"Joachim Breitner"},"message":"Add a test case for #11731.","distinct":true,"url":"https://api.github.com/repos/simonmar/ghc/commits/3a34b5c32303734c794f27728025e8a9fb410fb3"},{"sha":"f4fd98c717a7f68d76a3054021b3be65d1ebad82","author":{"email":"1d6e1cf70ec6f9ab28d3ea4b27a49a77654d370e@joachim-breitner.de","name":"Joachim Breitner"},"message":"Add a final demand analyzer run right before TidyCore\n\nin order to have precise used-once information in the exported\nstrictness signatures, as well as precise used-once information on\nthunks. This avoids the bad effects of #11731.\n\nThe subsequent worker-wrapper pass is responsible for removing the\ndemand environment part of the strictness signature. It does not run\nafter the final demand analyzer pass, so remove this also in CoreTidy.\n\nThe subsequent worker-wrapper pass is also responsible for removing\nused-once-information from the demands and strictness signatures, as\nthese might not be preserved by the simplifier. This is _not_ done by\nCoreTidy, because we _do_ want this information, as produced by the last\nround of the demand analyzer, to be available to the code generator.\n\nDifferential Revision: https://phabricator.haskell.org/D2073","distinct":true,"url":"https://api.github.com/repos/simonmar/ghc/commits/f4fd98c717a7f68d76a3054021b3be65d1ebad82"},{"sha":"928d74733975fe4677e2b558d031779f58a0883c","author":{"email":"d000de049448e51549b6fa379cf4661e6d30a770@gmail.com","name":"Bartosz Nitka"},"message":"Kill some unnecessary varSetElems\n\nWhen you do `varSetElems (tyCoVarsOfType x)` it's equivalent to\n`tyCoVarsOfTypeList x`.\n\nWhy? If you look at the implementation:\n```\ntyCoVarsOfTypeList ty = runFVList $ tyCoVarsOfTypeAcc ty\ntyCoVarsOfType ty = runFVSet $ tyCoVarsOfTypeAcc ty\n```\nthey use the same helper function. The helper function returns a\ndeterministically ordered list and a set. The only difference\nbetween the two is which part of the result they take. It is redundant\nto take the set and then immediately convert it to a list.\n\nThis helps with determinism and we eventually want to replace the uses\nof `varSetElems` with functions that don't leak the values of uniques.\nThis change gets rid of some instances that are easy to kill.\n\nI chose not to annotate every place where I got rid of `varSetElems`\nwith a comment about non-determinism, because once we get rid of\n`varSetElems` it will not be possible to do the wrong thing.\n\nTest Plan: ./validate\n\nReviewers: goldfire, austin, simonmar, bgamari, simonpj\n\nReviewed By: simonpj\n\nSubscribers: thomie\n\nDifferential Revision: https://phabricator.haskell.org/D2115\n\nGHC Trac Issues: #4012","distinct":true,"url":"https://api.github.com/repos/simonmar/ghc/commits/928d74733975fe4677e2b558d031779f58a0883c"},{"sha":"2acfaae9a99da6b7347cf21b38587f7fd251091c","author":{"email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com","name":"Simon Peyton Jones"},"message":"Comments only","distinct":true,"url":"https://api.github.com/repos/simonmar/ghc/commits/2acfaae9a99da6b7347cf21b38587f7fd251091c"},{"sha":"e24b3b1eeba91bd5b127261652b48eae2d4751b1","author":{"email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com","name":"Simon Peyton Jones"},"message":"Adjust error check for class method types\n\nFixes Trac #11793.  Nothing deep here.","distinct":true,"url":"https://api.github.com/repos/simonmar/ghc/commits/e24b3b1eeba91bd5b127261652b48eae2d4751b1"},{"sha":"31e49746a5f2193e3a2161ea6e279e95b9068048","author":{"email":"d000de049448e51549b6fa379cf4661e6d30a770@gmail.com","name":"Bartosz Nitka"},"message":"Remove some gratitious varSetElemsWellScoped\n\nSummary:\n`varSetElemsWellScoped` uses `varSetElems` under the hood which\nintroduces unnecessary nondeterminism.\nThis does the same thing, possibly cheaper, while preserving\ndeterminism.\n\nTest Plan: ./validate\n\nReviewers: simonmar, goldfire, austin, bgamari, simonpj\n\nReviewed By: simonpj\n\nSubscribers: thomie, RyanGlScott\n\nDifferential Revision: https://phabricator.haskell.org/D2116\n\nGHC Trac Issues: #4012","distinct":true,"url":"https://api.github.com/repos/simonmar/ghc/commits/31e49746a5f2193e3a2161ea6e279e95b9068048"},{"sha":"8d66765c4de22c01b8ae97570ed6c5f5c1a16a35","author":{"email":"cd4786f13e62ed6bb2b908ed2441bc4082f660fb@cis.upenn.edu","name":"Richard Eisenberg"},"message":"Increase an InScopeSet for a substitution\n\nThis is a further fix for #11814","distinct":true,"url":"https://api.github.com/repos/simonmar/ghc/commits/8d66765c4de22c01b8ae97570ed6c5f5c1a16a35"},{"sha":"aaaa61c8b712cc313c140ec15f6044e13a036d1f","author":{"email":"73675debcd8a436be48ec22211dcf44fe0df0a64@smart-cactus.org","name":"Ben Gamari"},"message":"users-guide: Note change in LLVM support policy","distinct":true,"url":"https://api.github.com/repos/simonmar/ghc/commits/aaaa61c8b712cc313c140ec15f6044e13a036d1f"},{"sha":"10c6df007cd85f3ad1c0ab67c177c23781b579bb","author":{"email":"ef9c145df0d91f4ae3f2ee937c5757f539df3df6@gmail.com","name":"Ben Gamari"},"message":"utils: Provide CallStack to expectJust\n\nTest Plan: Validate\n\nReviewers: gridaphobe, austin\n\nReviewed By: austin\n\nSubscribers: thomie\n\nDifferential Revision: https://phabricator.haskell.org/D2106","distinct":true,"url":"https://api.github.com/repos/simonmar/ghc/commits/10c6df007cd85f3ad1c0ab67c177c23781b579bb"},{"sha":"116088de1dc3188e82f3f79b39f8e92f30ab88d7","author":{"email":"ef9c145df0d91f4ae3f2ee937c5757f539df3df6@gmail.com","name":"Ben Gamari"},"message":"testsuite: Add T11824\n\nTest Plan: Validate\n\nReviewers: goldfire, austin\n\nReviewed By: austin\n\nSubscribers: thomie\n\nDifferential Revision: https://phabricator.haskell.org/D2107\n\nGHC Trac Issues: #11824","distinct":true,"url":"https://api.github.com/repos/simonmar/ghc/commits/116088de1dc3188e82f3f79b39f8e92f30ab88d7"},{"sha":"cb0d29b21ccadde681f80f9e414f78ab42a203c7","author":{"email":"ef9c145df0d91f4ae3f2ee937c5757f539df3df6@gmail.com","name":"Ben Gamari"},"message":"testsuite: Add test for #11827\n\nTest Plan: Validate\n\nReviewers: austin\n\nReviewed By: austin\n\nSubscribers: thomie\n\nDifferential Revision: https://phabricator.haskell.org/D2109\n\nGHC Trac Issues: #11827","distinct":true,"url":"https://api.github.com/repos/simonmar/ghc/commits/cb0d29b21ccadde681f80f9e414f78ab42a203c7"},{"sha":"9d063b690766af7d805ff015c0a0f69326ea3db7","author":{"email":"ef9c145df0d91f4ae3f2ee937c5757f539df3df6@gmail.com","name":"Ben Gamari"},"message":"Linker: Fix signedness mismatch\n\nTest Plan: Validate on OS X\n\nReviewers: erikd, austin, Phyx\n\nReviewed By: austin, Phyx\n\nSubscribers: Phyx, thomie\n\nDifferential Revision: https://phabricator.haskell.org/D2110\n\nGHC Trac Issues: #11828","distinct":true,"url":"https://api.github.com/repos/simonmar/ghc/commits/9d063b690766af7d805ff015c0a0f69326ea3db7"},{"sha":"933abfa7ec88bd91e60a62e51bb2f9a068d379f1","author":{"email":"ef9c145df0d91f4ae3f2ee937c5757f539df3df6@gmail.com","name":"Ben Gamari"},"message":"rel-notes: Add note about UndecidableSuperClasses and #11762\n\nTest Plan: Read it\n\nReviewers: austin, kosmikus\n\nReviewed By: kosmikus\n\nSubscribers: thomie\n\nDifferential Revision: https://phabricator.haskell.org/D2111\n\nGHC Trac Issues: #11318, #11762","distinct":true,"url":"https://api.github.com/repos/simonmar/ghc/commits/933abfa7ec88bd91e60a62e51bb2f9a068d379f1"}]}