{"push_id":694374421,"size":38,"distinct_size":28,"ref":"refs/heads/master","head":"6e542a62e070b113f95908315c81d01c300d8803","before":"f6fbbb1a66dbdb338819858b58f117aa2f36b600","commits":[{"sha":"19ec6a84d6344c2808d0d41da11956689a0e4ae9","author":{"email":"0f335816a479d40a484b0f003cd959ed488eb2a0@gmail.com","name":"Simon Marlow"},"message":"Fix for CAF retention when dynamically loading & unloading code\n\nIn a situaion where we have some statically-linked code and we want to\nload and unload a series of objects, we need the CAFs in the\nstatically-linked code to be retained indefinitely, while the CAFs in\nthe dynamically-linked code should be GC'd as normal, so that we can\ndetect when the code is unloadable.  This was wrong before - we GC'd\nCAFs in the static code, leading to a crash in the rare case where we\nuse a CAF, GC it, and then load a new object that uses it again.\n\nI also did some tidy up: RtsConfig now has a field keep_cafs to\nindicate whether we want CAFs to be retained in static code.","distinct":false,"url":"https://api.github.com/repos/thomie/ghc/commits/19ec6a84d6344c2808d0d41da11956689a0e4ae9"},{"sha":"7944a68f0a91033f50c5d0c56e923948bba30be1","author":{"email":"7ea35d812706d9213868749011af1ed4fa2f6aa0@well-typed.com","name":"Austin Seipp"},"message":"Revert \"docs: Fix #10416\"\n\nThis causes the buildbots and other users to choke when building the\nuser documentation, but I haven't figured out why.\n\nThis reverts commit dcaaa980dc59202744bb3888d9662f9a7558cdf6.","distinct":false,"url":"https://api.github.com/repos/thomie/ghc/commits/7944a68f0a91033f50c5d0c56e923948bba30be1"},{"sha":"058af6c90a0e8d122f2d1339b6b4fd0b5ec83d05","author":{"email":"f57c1d2410df938c148629936aaa61a9a0923052@cs.kuleuven.be","name":"Thomas Winant"},"message":"Refactor wild card renaming\n\nSummary:\nRefactor wild card error reporting\n\n* Merge `HsWildcardTy` and `HsNamedWildcardTy` into one constructor\n  `HsWildCardTy` with as field the new type `HsWildCardInfo`, which has two\n  constructors: `AnonWildCard` and `NamedWildCard`.\n\n* All partial type checks are removed from `RdrHsSyn.hs` and are now done\n  during renaming in order to report better error messages. When wild cards\n  are allowed in a type, the new function `rnLHsTypeWithWildCards` (or\n  `rnHsSigTypeWithWildCards`) should be used. This will bring the named wild\n  cards into scope before renaming them. When this is not done, renaming will\n  trigger \"Unexpected wild card...\" errors.\n\n  Unfortunately, this has to be done separately for anonymous wild cards\n  because they are given a fresh name during renaming, so they will not cause\n  an out-of-scope error. They are handled in `tc_hs_type`, as a special case\n  of a lookup that fails.\n\n  The previous opt-out approach is replaced with an opt-in approach. No more\n  panics because of forgotten checks!\n\n* `[t| _ |]` isn't caught by the above two checks, so it is currently handled\n  by a special case. The error message (generated in the `DsM` monad) doesn't\n  provide as much context information as the other cases.\n\n* Instead of three (!) functions that walk `HsType`, there is now only one\n  pure function called `collectWildCards`.\n\n* Alternative approach: catch all unwanted wild cards in `rnHsTyKi` by looking\n  at the `HsDocContext`. This will reduce the number of places to catch\n  unwanted wild cards form three to one, and make the error messages more\n  uniform, albeit less informative, as the error context for renaming is not\n  as informative as the one for type checking. A new constructor of\n  `HsDocContext` will be required for pattern synonyms signatures.\n\n  Small problem: currently type-class type signatures can't be distinguished\n  from type signatures using the `HsDocContext`.\n\nThis requires an update to the Haddock submodule.\n\nTest Plan: validate\n\nReviewers: goldfire, simonpj, austin\n\nReviewed By: simonpj\n\nSubscribers: bgamari, thomie, goldfire\n\nDifferential Revision: https://phabricator.haskell.org/D613\n\nGHC Trac Issues: #10098","distinct":false,"url":"https://api.github.com/repos/thomie/ghc/commits/058af6c90a0e8d122f2d1339b6b4fd0b5ec83d05"},{"sha":"a48167eaaa984fbdc1ad31c2c674058ba3669ac6","author":{"email":"7ea35d812706d9213868749011af1ed4fa2f6aa0@well-typed.com","name":"Austin Seipp"},"message":"build: Clean testsuite before sdist\n\nWhen making the `sdist` tarball, we don't really need anything inside\n$(TOP)/testsuite in order to do our thing. So make sure we clean it\nfirst to avoid situations like #10406.\n\nWith D917 landed, this can actually avoided entirely by fixing the\nofficial release process to instead build an `sdist` //first// from the\nclean git repository and then build that (to fixpoint) and test it. Then\nthe originall clean tarball can be shipped.\n\nBut it's nice to be safe in the general case where someone might want to\n(in the future) `sdist` out of their build tree.\n\nSigned-off-by: Austin Seipp <austin@well-typed.com>\n\nReviewed By: thomie\n\nDifferential Revision: https://phabricator.haskell.org/D956\n\nGHC Trac Issues: #10406","distinct":false,"url":"https://api.github.com/repos/thomie/ghc/commits/a48167eaaa984fbdc1ad31c2c674058ba3669ac6"},{"sha":"3b55659d4f54e503f4e550d762bc55a2650ed13d","author":{"email":"080fa9f39a13ddd684843a954ef685ede7482d1a@watashi.ws","name":"Zejun Wu"},"message":"Always force the exception in enqueued commands\n\n`enqueueCommands` should always force exception in commands. Otherwise\nthe exception thrown in `:cmd` (e.g. `:cmd return $ head []`) will cause\nGHCi to terminate with panic.\n\nTest Plan: `cd testsuite/tests/ghci/ && make`\n\nReviewed By: austin\n\nDifferential Revision: https://phabricator.haskell.org/D967\n\nGHC Trac Issues: #10501","distinct":false,"url":"https://api.github.com/repos/thomie/ghc/commits/3b55659d4f54e503f4e550d762bc55a2650ed13d"},{"sha":"bb9967121f2383b857680b47b6bc20607f8fd1ff","author":{"email":"ab9e1598ed2369b9e8a97a494e9ac8bffae3982a@gmail.com","name":"Thomas Miedema"},"message":"Revert \"The test runner now also works under the msys-native Python.\"\n\nTo make the test runner work under msys-native Python...\n\nCommit 5258566ee5c89aa757b0cf1433169346319c018f broke the msys testsuite\ndriver (#10441). It changed the quoting of `config.compiler` from single\nquotes to double quote, which turns out to not be compatible with what\nthe function `passThroughCmd` expected.\n\nWe could fix `passThroughCmd` to handle the case where `config.compiler`\nis double quoted, and scatter some notes around to make sure the quoting\ndone in various places of the testsuite driver stay compatible.\n\nInstead, this commit reverts 101c62e26286353dd3fac1ef54323529b64c9902,\nwhich introdced the function `passThroughCmd` in the first place\n(#9626). ezyang reports that doing this revert fixes the testsuite\ndriver for him using the the following version of msys2:\n\n  msys2-keyring r8.3864337-1\n  msys2-runtime 2.1.0.16351.cd3184b-1\n  msys2-runtime-devel 2.1.0.16351.cd3184b-1\n  msys2-w32api-headers 5.0.0.4456.c8b6742-1\n  msys2-w32api-runtime 5.0.0.4455.32db221-1\n\nIdeally we'd know what minimum version of msys2 we require, but for now\nthis fix is better than nothing.\n\nOnly gintas ever reported the original problem, and he actually\nmentioned shortly afterwards: \"This may have been fixed by a recent\nrelease of msys2, but I am not sure.\"\n\nDifferential Revision: https://phabricator.haskell.org/D952","distinct":false,"url":"https://api.github.com/repos/thomie/ghc/commits/bb9967121f2383b857680b47b6bc20607f8fd1ff"},{"sha":"43ebe24aed3bfb4decd958ca91313ab2773abd51","author":{"email":"ab9e1598ed2369b9e8a97a494e9ac8bffae3982a@gmail.com","name":"Thomas Miedema"},"message":"Testsuite: delete expect_fail setups for hugs\n\nThis makes it easier to grep for expect_fail in the tests directory.\n\nDifferential Revision: https://phabricator.haskell.org/D964","distinct":false,"url":"https://api.github.com/repos/thomie/ghc/commits/43ebe24aed3bfb4decd958ca91313ab2773abd51"},{"sha":"3445947ae380967b4032233273fdb54d41bce157","author":{"email":"ab9e1598ed2369b9e8a97a494e9ac8bffae3982a@gmail.com","name":"Thomas Miedema"},"message":"Testsuite: delete expect_fail setups for ghc < 7.1\n\nThis makes it easier to grep for expect_fail in the tests directory.\n\nDifferential Revision: https://phabricator.haskell.org/D965","distinct":false,"url":"https://api.github.com/repos/thomie/ghc/commits/3445947ae380967b4032233273fdb54d41bce157"},{"sha":"4a0b7a10442eec3747d5f95ef186a79bb0648754","author":{"email":"ab9e1598ed2369b9e8a97a494e9ac8bffae3982a@gmail.com","name":"Thomas Miedema"},"message":"Build: run autoreconf jobs in parallel\n\nRunning ./boot takes ~20 seconds on my laptop with 2 cores. With this change,\nthat goes down to a little over 10 seconds. There are 8 configure.ac files in\ntotal, so max 8 parallel jobs.\n\nDifferential Revision: https://phabricator.haskell.org/D962","distinct":false,"url":"https://api.github.com/repos/thomie/ghc/commits/4a0b7a10442eec3747d5f95ef186a79bb0648754"},{"sha":"5828457d8d26fd33130d4b5850847c9a73a8d3e5","author":{"email":"ab9e1598ed2369b9e8a97a494e9ac8bffae3982a@gmail.com","name":"Thomas Miedema"},"message":"make sdist: distclean testsuite for real (#10406)","distinct":false,"url":"https://api.github.com/repos/thomie/ghc/commits/5828457d8d26fd33130d4b5850847c9a73a8d3e5"},{"sha":"ca39b96ee783e124909a89ea3ad366bf99defa7b","author":{"email":"7ea35d812706d9213868749011af1ed4fa2f6aa0@well-typed.com","name":"Austin Seipp"},"message":"docs: Fix #10416\n\nThis commit fixes #10416 by using an EPS-based file-format for embedding\nimages in the users guide, as opposed to a png. This is because 'latex'\nin some distributions is actually 'pdflatex', which supports reading the\nsize of PNGs in DVI mode, while traditional latex does not.\n\nRather than fiddle with the build a whole bunch, it's easy and simple to\njust convert the png into a eps file and embed that instead.\n\nBut apparently we already had an EPS file, added in\n1cce2f51656cfbd8c7933a914a4bd981792aa1e6! But it was quite large, so\ninstead I used `convert` to shrink it down from 1.7MB to about 20kb, the\nsame size as the original PDF (by using level3 postscript, which is not\nas wasteful.)\n\nSigned-off-by: Austin Seipp <austin@well-typed.com>\n\nDifferential Revision: https://phabricator.haskell.org/D970\n\nGHC Trac Issues: #10416","distinct":true,"url":"https://api.github.com/repos/thomie/ghc/commits/ca39b96ee783e124909a89ea3ad366bf99defa7b"},{"sha":"ddbb97d00fdbc5870a4076ed15af8e607b161cb2","author":{"email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com","name":"Simon Peyton Jones"},"message":"Another major improvement of \"improvement\"\n\nI wasn't very happy with my fix to Trac #10009. This is much better.\n\nThe main idea is that the inert set now contains a \"model\", which\nembodies *all* the (nominal) equalities that we know about, with\na view to exposing unifications.  This requires a lot fewer iterations\nof the solver than before.\n\nThere are extensive comments in\n TcSMonad:  Note [inert_model: the inert model]\n            Note [Adding an inert canonical constraint the InertCans]\n\nThe big changes are\n\n  * New inert_model field in InertCans\n\n  * Functions addInertEq, addInertCan deal with adding a\n    constraint, maintaining the model\n\n  * A nice improvement is that unification variables can\n    unify with fmvs, so that from, say   alpha ~ fmv\n    we get              alpha := fmv\n    See Note [Orientation of equalities with fmvs] in TcFlatten\n    It's still not perfect, as the Note explains\n\nNew flag -fconstraint-solver-iterations=n, allows us to control\nthe number of constraint solver iterations, and in particular\nwill flag up when it's more than a small number.\n\nPerformance is generally slightly better:\nT5837 is a lot better for some reason.","distinct":true,"url":"https://api.github.com/repos/thomie/ghc/commits/ddbb97d00fdbc5870a4076ed15af8e607b161cb2"},{"sha":"c0dc79fbef90bf26e771d24a102044060ac001fb","author":{"email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com","name":"Simon Peyton Jones"},"message":"IndTypesPerfMerge no longer seems to requre -M20M","distinct":true,"url":"https://api.github.com/repos/thomie/ghc/commits/c0dc79fbef90bf26e771d24a102044060ac001fb"},{"sha":"a66ef3567ea29c93a9c010befc672602dc1c644c","author":{"email":"5aed822d10922bb164e7b702cd8d94f3cb680fc0@leeds.ac.uk","name":"Peter Wortmann"},"message":"Fix DWARF generation for MinGW (#10468)\n\nFortunately this is relatively straightforward - all we need to do is\nswitch to a non-ELF-specific way of specifying object file sections and\nmake sure that section-relative addresses work correctly. This is enough\nto make \"gdb\" work on MinGW builds.","distinct":true,"url":"https://api.github.com/repos/thomie/ghc/commits/a66ef3567ea29c93a9c010befc672602dc1c644c"},{"sha":"c1dc4216efc3db1a8fbd56a658981b53b7e42eda","author":{"email":"ab9e1598ed2369b9e8a97a494e9ac8bffae3982a@gmail.com","name":"Thomas Miedema"},"message":"Update submodule process to master\n\nThis allows a warning free build on Windows, and thus an error free\nvalidate.","distinct":true,"url":"https://api.github.com/repos/thomie/ghc/commits/c1dc4216efc3db1a8fbd56a658981b53b7e42eda"},{"sha":"da84fd5475d189c39bd3e12d29f45618c92ed800","author":{"email":"ab9e1598ed2369b9e8a97a494e9ac8bffae3982a@gmail.com","name":"Thomas Miedema"},"message":"Testsuite Windows: fix T8172 (#8172)\n\nUse the new function `normalise_drive_letter` to change D:\\ to C:\\\nbefore comparing outputs.","distinct":true,"url":"https://api.github.com/repos/thomie/ghc/commits/da84fd5475d189c39bd3e12d29f45618c92ed800"},{"sha":"a765f72c130111cdbd30f2a3e159186c6e625d2a","author":{"email":"ab9e1598ed2369b9e8a97a494e9ac8bffae3982a@gmail.com","name":"Thomas Miedema"},"message":"Testsuite: mark tests as expect_broken on win64\n\nTickets: #1407, #9381, #9878.\n\nDifferential Revision: https://phabricator.haskell.org/D977","distinct":true,"url":"https://api.github.com/repos/thomie/ghc/commits/a765f72c130111cdbd30f2a3e159186c6e625d2a"},{"sha":"506522c95f5d43db4d469135878c56fe20eb81f6","author":{"email":"ab9e1598ed2369b9e8a97a494e9ac8bffae3982a@gmail.com","name":"Thomas Miedema"},"message":"Testsuite: mark T4945 as expect_broken (#4945)\n\nIn commit 7d519dabd2006c9742e82fce02df55704da15482, the file\nT4945.stdout was added to the repository, to make T4945 pass\nvalidatation presumably.\n\nWhen that test produces output however, there is a bug somewhere, and we\nshouldn't hide it. There is a comment in the Makefile which says:\n\n    \"When SpecConstr works there are no STUArrays at all\"\n\nSo here we remove T4945.stdout again, mark T4945 as expect_broken, and\nreopen the ticket.\n\nDifferential Revision: https://phabricator.haskell.org/D976","distinct":true,"url":"https://api.github.com/repos/thomie/ghc/commits/506522c95f5d43db4d469135878c56fe20eb81f6"},{"sha":"6cefeb373e13c25f6c8c1d08975e14a8655f0bc9","author":{"email":"ab9e1598ed2369b9e8a97a494e9ac8bffae3982a@gmail.com","name":"Thomas Miedema"},"message":"Testsuite: mention the existence of ticket #10510\n\n[skip ci]","distinct":true,"url":"https://api.github.com/repos/thomie/ghc/commits/6cefeb373e13c25f6c8c1d08975e14a8655f0bc9"},{"sha":"5e66a698dae8c01bcd1a9335346145b32016e119","author":{"email":"ab9e1598ed2369b9e8a97a494e9ac8bffae3982a@gmail.com","name":"Thomas Miedema"},"message":"Testsuite: change some expect_fail tests to expect_broken\n\nChange the following tests from expect_fail to expect_broken: and list\nthe ticket number:\n\n    * driver/sigof03m/sigof03 (#9252)\n    * driver/static001 (#8127)\n    * partial-sigs/should_compile/EqualityConstraint (#9478)\n    * partial-sigs/should_compile/ExtraNumAMROn (#9478)\n    * partial-sigs/should_compile/PatBind2 (#9478)\n    * partial-sigs/should_fail/TidyClash2 (#9478)\n    * simplCore/should_compile/T8832 (#8832)\n\nThe following tests are still marked as expect_fail, but it is not\nclearly documented why so:\n\n    * gadt/lazypatok\n    * indexed-types/should_fail/SkolemOccursLoop\n\nAll other expect_fail tests are only expected to fail on either a\ncertain platform/os or for a certain way only.\n\nDifferential Revision: https://phabricator.haskell.org/D966","distinct":true,"url":"https://api.github.com/repos/thomie/ghc/commits/5e66a698dae8c01bcd1a9335346145b32016e119"}]}