{"push_id":1086420061,"size":96,"distinct_size":2,"ref":"refs/heads/wip/T10613","head":"7564755400092321cc6386defe83d9a1db74823e","before":"4ae80f362279c9cd4433ce621cb8740e3916dbee","commits":[{"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":false,"url":"https://api.github.com/repos/ghc/ghc/commits/928d74733975fe4677e2b558d031779f58a0883c"},{"sha":"2acfaae9a99da6b7347cf21b38587f7fd251091c","author":{"email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com","name":"Simon Peyton Jones"},"message":"Comments only","distinct":false,"url":"https://api.github.com/repos/ghc/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":false,"url":"https://api.github.com/repos/ghc/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":false,"url":"https://api.github.com/repos/ghc/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":false,"url":"https://api.github.com/repos/ghc/ghc/commits/8d66765c4de22c01b8ae97570ed6c5f5c1a16a35"},{"sha":"aaaa61c8b712cc313c140ec15f6044e13a036d1f","author":{"email":"73675debcd8a436be48ec22211dcf44fe0df0a64@smart-cactus.org","name":"Ben Gamari"},"message":"users-guide: Note change in LLVM support policy","distinct":false,"url":"https://api.github.com/repos/ghc/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":false,"url":"https://api.github.com/repos/ghc/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":false,"url":"https://api.github.com/repos/ghc/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":false,"url":"https://api.github.com/repos/ghc/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":false,"url":"https://api.github.com/repos/ghc/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":false,"url":"https://api.github.com/repos/ghc/ghc/commits/933abfa7ec88bd91e60a62e51bb2f9a068d379f1"},{"sha":"54e67c1edf8342f5f82e09ae55152fb4cbb7b64c","author":{"email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com","name":"Simon Peyton Jones"},"message":"Remove dead function SimplUtils.countValArgs","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/54e67c1edf8342f5f82e09ae55152fb4cbb7b64c"},{"sha":"f0e331bd9233669ef615f67e0b9e886b2ff13850","author":{"email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com","name":"Simon Peyton Jones"},"message":"Comments only, on Type.topSortTyVars","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/f0e331bd9233669ef615f67e0b9e886b2ff13850"},{"sha":"a7ee2d4c4229b27af324ebac93081f692835365d","author":{"email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com","name":"Simon Peyton Jones"},"message":"Improve TcFlatten.flattenTyVar\n\nThis patch tides up the structure, simplifying FlattenTvResult.\n\nIt also replaces a use of zonkTcType (which I hated) with\ncoercionKind, in that same function.  Happily, the result is\nlittle faster, maybe even a percentage point or two, which is\na lot for a compiler.\n\nThis also removes the line\n   || not (map binderVisibility bndrs1 == map binderVisibility bndrs2)\nfrom TcCanonical.can_eq_nc', in the ForAllTy/ForAllTy case.\n\nWhy? Becuase I can't see why binder-visiblity should matter, and\nwhen we use coercionKind instead of zonkTcType in flattenTyVar,\nthis case pops up and rejects a program that should pass.  I did\ndiscuss this with Richard.","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/a7ee2d4c4229b27af324ebac93081f692835365d"},{"sha":"e9ad48935fa48aa32dc39a55512168ba5f5bdbd2","author":{"email":"ef9c145df0d91f4ae3f2ee937c5757f539df3df6@gmail.com","name":"Ben Gamari"},"message":"libdw: More precise version check\n\nTest Plan: Try configure in an environment with older `libdw`\n\nReviewers: hvr, austin\n\nSubscribers: thomie, erikd\n\nDifferential Revision: https://phabricator.haskell.org/D2103\n\nGHC Trac Issues: #11820","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/e9ad48935fa48aa32dc39a55512168ba5f5bdbd2"},{"sha":"d77981ed4347e5feb0497d8161af72f8f5e10b65","author":{"email":"73675debcd8a436be48ec22211dcf44fe0df0a64@smart-cactus.org","name":"Ben Gamari"},"message":"rts/RetainerProfile: Remove unused local\n\nReported in #11777.","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/d77981ed4347e5feb0497d8161af72f8f5e10b65"},{"sha":"bf17fd0e5b5442a87f507b26e64a30c79732838a","author":{"email":"202fbcf3c00694524024feb79f3bb8fc1c4e4f9c@gnu.org","name":"Herbert Valerio Riedel"},"message":"deriveConstants: Verify sanity of nm\n\nAdd a sanity check ensuring that nm emits valid hexadecimal output, as\nrequired by POSIX. See #11744 for motivation.\n\nReviewers: austin, bgamari\n\nSubscribers: thomie\n\nDifferential Revision: https://phabricator.haskell.org/D2113\n\nGHC Trac Issues: #11744","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/bf17fd0e5b5442a87f507b26e64a30c79732838a"},{"sha":"f4e659121960eb81d5478f0b20d4cf6f4c0ed0d9","author":{"email":"73675debcd8a436be48ec22211dcf44fe0df0a64@smart-cactus.org","name":"Ben Gamari"},"message":"Bump haddock submodule","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/f4e659121960eb81d5478f0b20d4cf6f4c0ed0d9"},{"sha":"865602e0beb8e30ea1e1edf7db90f24088badb9e","author":{"email":"202fbcf3c00694524024feb79f3bb8fc1c4e4f9c@gnu.org","name":"Herbert Valerio Riedel"},"message":"Rework CC/CC_STAGE0 handling in `configure.ac`\n\nRather than using the non-standard/idiomatic `--with-{gcc,clang}=...`\nscheme use the `CC=...` style scheme.\n\nThe basic idea is to have Autoconf's CC/CFLAG/CPPFLAG apply to\nstage{1,2,3}, while having a separate _STAGE0 set of env-vars\ndenote the bootstrap-toolchain flags/programs.\n\nThis should be simpler, less confusing, and somewhat more in line with\nAutoconf's idioms (allowing us to reuse more of Autoconf rather than\n(re)inventing our own confusing non-standard m4 macros to do stuff that\nAutoconf could almost do already for us)\n\nMorever, expose CC_STAGE0 as a so-called \"precious\" variable.\n\nSo now we can better control which bootstrapping gcc is used\n(by default the one used by the stage0 ghc, unless CC_STAGE0 is\noverriden)\n\n```\nSome influential environment variables:\n  CC_STAGE0   C compiler command (bootstrap)\n  CC          C compiler command\n  CFLAGS      C compiler flags\n  ...\n\nUse these variables to override the choices made by `configure' or to\nhelp it to find libraries and programs with nonstandard names/locations.\n```\n\nTest Plan: I've tested that cross-compiling with\n`--target=powerpc-linux-gnu` still works, and tried a few variants of\nsettting `CC=` and `CC_STAGE0=`; `./validate` passed as well\n\nReviewers: erikd, austin, bgamari, simonmar\n\nReviewed By: simonmar\n\nSubscribers: Phyx, thomie\n\nDifferential Revision: https://phabricator.haskell.org/D2078","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/865602e0beb8e30ea1e1edf7db90f24088badb9e"},{"sha":"3f3ad75e7b9127dac72cca56623879fbec0b88c8","author":{"email":"202fbcf3c00694524024feb79f3bb8fc1c4e4f9c@gnu.org","name":"Herbert Valerio Riedel"},"message":"Update `directory` submodule to v1.2.6.0 release","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/3f3ad75e7b9127dac72cca56623879fbec0b88c8"}]}