{"push_id":1419181055,"size":37,"distinct_size":37,"ref":"refs/heads/ps-ex-check","head":"6007b25ec3dabd9361bc09e411457bc1868e3ac7","before":"ca91d4ec450895de8ac7afb6aa456a0f72717270","commits":[{"sha":"fa70b1ec2e4638886e610279857c1c7529d6a361","author":{"name":"Simon Marlow","email":"59d859f873766e967e293fdd89514baa5d498cf4@gmail.com"},"message":"Fix -fobject-code with -fexternal-interpreter\n\nIf the user does :cd in GHCi with -fexternal-interpreter, then we can\nfail to find the object files.","distinct":true,"url":"https://api.github.com/repos/mpickering/ghc/commits/fa70b1ec2e4638886e610279857c1c7529d6a361"},{"sha":"7acee066c210cd469836da32375988e5ee2b32ff","author":{"name":"Simon Marlow","email":"59d859f873766e967e293fdd89514baa5d498cf4@gmail.com"},"message":"Avoid calling newDynFlags when there are no changes\n\nThis is a small optimisation for :set and :unset","distinct":true,"url":"https://api.github.com/repos/mpickering/ghc/commits/7acee066c210cd469836da32375988e5ee2b32ff"},{"sha":"d3542fad4b72b807dd1ece415a903fb08f1e490f","author":{"name":"Simon Marlow","email":"59d859f873766e967e293fdd89514baa5d498cf4@gmail.com"},"message":"Generalise the implicit prelude import\n\nNow it's possible to have two lists of imports:\n* extra_imports are imports that are always added to the context\n* prelude_imports are imports that are added if we don't have\n  any open modules in scope.\n\nNo UI changes or new commands are added for now.  This was functionality\nthat we needed in our customized GHCi at Facebook, so I wanted to get it\nupstream to reduce the differences between our version and the upstream\nversion.","distinct":true,"url":"https://api.github.com/repos/mpickering/ghc/commits/d3542fad4b72b807dd1ece415a903fb08f1e490f"},{"sha":"8dfca69f2339d8d6719f57a4592d35c7d09cca5f","author":{"name":"Matthew Pickering","email":"68fa056bd4fd4bb0cec1ad5367be2c84df58689e@gmail.com"},"message":"Inline compiler/NOTES into X86/Ppr.hs\n\nReviewers: austin, bgamari\n\nSubscribers: thomie\n\nDifferential Revision: https://phabricator.haskell.org/D2721","distinct":true,"url":"https://api.github.com/repos/mpickering/ghc/commits/8dfca69f2339d8d6719f57a4592d35c7d09cca5f"},{"sha":"fe3968b022f8ef506c352834d32aaec2a682d648","author":{"name":"Matthew Pickering","email":"68fa056bd4fd4bb0cec1ad5367be2c84df58689e@gmail.com"},"message":"pmchecker - refactoring","distinct":true,"url":"https://api.github.com/repos/mpickering/ghc/commits/fe3968b022f8ef506c352834d32aaec2a682d648"},{"sha":"864e4af32fdde901160bd6e3aba73e33a5dd0c59","author":{"name":"Matthew Pickering","email":"68fa056bd4fd4bb0cec1ad5367be2c84df58689e@gmail.com"},"message":"pmchecker - refacotring","distinct":true,"url":"https://api.github.com/repos/mpickering/ghc/commits/864e4af32fdde901160bd6e3aba73e33a5dd0c59"},{"sha":"5598ab57f124ba845975df01e6725e04d6551653","author":{"name":"Matthew Pickering","email":"68fa056bd4fd4bb0cec1ad5367be2c84df58689e@gmail.com"},"message":"Refactoring add type sig","distinct":true,"url":"https://api.github.com/repos/mpickering/ghc/commits/5598ab57f124ba845975df01e6725e04d6551653"},{"sha":"3a05101a873ff3f40d7b601c900c8b7c9b80df23","author":{"name":"Matthew Pickering","email":"68fa056bd4fd4bb0cec1ad5367be2c84df58689e@gmail.com"},"message":"Refactoring to add ListT to the crucial part\n\nNo non-det yet, should yield the same results as before.","distinct":true,"url":"https://api.github.com/repos/mpickering/ghc/commits/3a05101a873ff3f40d7b601c900c8b7c9b80df23"},{"sha":"55ac6e81b9bd2f951a8e9e7b819b4aa3e0e86580","author":{"name":"Matthew Pickering","email":"68fa056bd4fd4bb0cec1ad5367be2c84df58689e@gmail.com"},"message":"Change ListT implementation","distinct":true,"url":"https://api.github.com/repos/mpickering/ghc/commits/55ac6e81b9bd2f951a8e9e7b819b4aa3e0e86580"},{"sha":"1b84472731374d2030bcc66e659d40117d019e59","author":{"name":"Matthew Pickering","email":"68fa056bd4fd4bb0cec1ad5367be2c84df58689e@gmail.com"},"message":"Refactor Pattern Match Checker to use ListT\n\nReviewers: austin, bgamari\n\nSubscribers: thomie\n\nDifferential Revision: https://phabricator.haskell.org/D2725","distinct":true,"url":"https://api.github.com/repos/mpickering/ghc/commits/1b84472731374d2030bcc66e659d40117d019e59"},{"sha":"3f5574bb62bf5cf8d956f181d83b469432ac5daa","author":{"name":"Matthew Pickering","email":"68fa056bd4fd4bb0cec1ad5367be2c84df58689e@gmail.com"},"message":"Refactoring","distinct":true,"url":"https://api.github.com/repos/mpickering/ghc/commits/3f5574bb62bf5cf8d956f181d83b469432ac5daa"},{"sha":"bdadd5585b03db6d8d5f201f0bf3775b922dc7fd","author":{"name":"Matthew Pickering","email":"68fa056bd4fd4bb0cec1ad5367be2c84df58689e@gmail.com"},"message":"Fix rebase","distinct":true,"url":"https://api.github.com/repos/mpickering/ghc/commits/bdadd5585b03db6d8d5f201f0bf3775b922dc7fd"},{"sha":"fe943fce18c072c025e799f84f53756ab102a784","author":{"name":"Matthew Pickering","email":"68fa056bd4fd4bb0cec1ad5367be2c84df58689e@gmail.com"},"message":"Improve getResult for n-ary case","distinct":true,"url":"https://api.github.com/repos/mpickering/ghc/commits/fe943fce18c072c025e799f84f53756ab102a784"},{"sha":"38b930c12389399852ed13917b677ec7a6686285","author":{"name":"Matthew Pickering","email":"68fa056bd4fd4bb0cec1ad5367be2c84df58689e@gmail.com"},"message":"WIP - COMPLETE frontend","distinct":true,"url":"https://api.github.com/repos/mpickering/ghc/commits/38b930c12389399852ed13917b677ec7a6686285"},{"sha":"6ccaffec50db4b613421f47200bc851fd1daef36","author":{"name":"Matthew Pickering","email":"68fa056bd4fd4bb0cec1ad5367be2c84df58689e@gmail.com"},"message":"Work matches through the pipeline","distinct":true,"url":"https://api.github.com/repos/mpickering/ghc/commits/6ccaffec50db4b613421f47200bc851fd1daef36"},{"sha":"e2a6b67907e0c8b46545e424c45d0ab4bf8d4336","author":{"name":"Matthew Pickering","email":"68fa056bd4fd4bb0cec1ad5367be2c84df58689e@gmail.com"},"message":"Refactoring DataCon -> ConLike\n\nT11195 fails with heap overflow","distinct":true,"url":"https://api.github.com/repos/mpickering/ghc/commits/e2a6b67907e0c8b46545e424c45d0ab4bf8d4336"},{"sha":"c058381e7f894acb39b4643c227f8620cccced39","author":{"name":"Matthew Pickering","email":"68fa056bd4fd4bb0cec1ad5367be2c84df58689e@gmail.com"},"message":"Enable the pat syns","distinct":true,"url":"https://api.github.com/repos/mpickering/ghc/commits/c058381e7f894acb39b4643c227f8620cccced39"},{"sha":"c568460f9559b1f8eb5b94018d06746b0b351e88","author":{"name":"Matthew Pickering","email":"68fa056bd4fd4bb0cec1ad5367be2c84df58689e@gmail.com"},"message":"Fix case when pat syns have no groups","distinct":true,"url":"https://api.github.com/repos/mpickering/ghc/commits/c568460f9559b1f8eb5b94018d06746b0b351e88"},{"sha":"fc27f4adb663c7961594fc591b40a734ae042919","author":{"name":"Matthew Pickering","email":"68fa056bd4fd4bb0cec1ad5367be2c84df58689e@gmail.com"},"message":"Select the best match","distinct":true,"url":"https://api.github.com/repos/mpickering/ghc/commits/fc27f4adb663c7961594fc591b40a734ae042919"},{"sha":"43e3c0fae2ef638e0f267d39930c9c289eb7dbdc","author":{"name":"Matthew Pickering","email":"68fa056bd4fd4bb0cec1ad5367be2c84df58689e@gmail.com"},"message":"WIP: Exhaustiveness checking for pattern synonyms\n\nSummary:\nThis patch adds a new pragma so that users can specify `COMPLETE` sets of\n`ConLike`s in order to sate the pattern match checker.\n\nThings which need to be resolved:\n\n- [ ] Write a specification\n- [ ] Documentation in the user guide\n- [ ] Beef up typechecking to check the set of patterns in consistent\n- [ ] Persist constructor sets between modules\n- [ ] Resolve what should become of the copied `ListT` code.\n- [ ] Move test files into the `pmcheck` directory.\n\nReviewers: austin, goldfire, bgamari\n\nSubscribers: thomie\n\nDifferential Revision: https://phabricator.haskell.org/D2669\n\nGHC Trac Issues: #8779","distinct":true,"url":"https://api.github.com/repos/mpickering/ghc/commits/43e3c0fae2ef638e0f267d39930c9c289eb7dbdc"}]}
{"actor":{"display_login":"mpickering"}}