{"push_id":674300584,"size":1000,"distinct_size":666,"ref":"refs/heads/master","head":"c04571daf6175d3976827dcfce61e08c0896d0ee","before":"8992d5269804b727fb77249511e89df678526907","commits":[{"sha":"6efe5729252ea50843e1b04e21c7a3e1769a3434","author":{"email":"7ea35d812706d9213868749011af1ed4fa2f6aa0@well-typed.com","name":"Austin Seipp"},"message":"Don't build old-{time,locale} and haskell{98,2010}\n\nSummary:\nAs discussed on ghc-devs@haskell.org and the trac ticket, we're removing\nthese packages from the 7.10 release as they no longer work correctly,\nand can't easily be made to properly follow the standard as `base`\nchanges over time.\n\nThis does not remove the packages from the tree, only the build system.\n\nhttps://www.haskell.org/pipermail/ghc-devs/2014-November/007357.html\n\nSigned-off-by: Austin Seipp <austin@well-typed.com>\n\nTest Plan: iiam\n\nReviewers: hvr, ekmett\n\nReviewed By: hvr, ekmett\n\nSubscribers: thomie, carter\n\nDifferential Revision: https://phabricator.haskell.org/D510\n\nGHC Trac Issues: #9590","distinct":false,"url":"https://api.github.com/repos/tweag/ghc/commits/6efe5729252ea50843e1b04e21c7a3e1769a3434"},{"sha":"86dda8f7adb887eb376a938dd48780e503b53a08","author":{"email":"7ea35d812706d9213868749011af1ed4fa2f6aa0@well-typed.com","name":"Austin Seipp"},"message":"Delete old-{time,locale} and haskell{98,2010}\n\nSummary:\nDepends on D510. This is the final blow and removes them from\nthe tree completely.\n\nSigned-off-by: Austin Seipp <austin@well-typed.com>\n\nTest Plan: I looked really hard but didn't see them.\n\nReviewers: hvr, ekmett\n\nSubscribers: thomie, carter\n\nDifferential Revision: https://phabricator.haskell.org/D511\n\nGHC Trac Issues: #9590","distinct":false,"url":"https://api.github.com/repos/tweag/ghc/commits/86dda8f7adb887eb376a938dd48780e503b53a08"},{"sha":"e888b943396c21db74ba2fc69bf3a89e2473ea2b","author":{"email":"202fbcf3c00694524024feb79f3bb8fc1c4e4f9c@gnu.org","name":"Herbert Valerio Riedel"},"message":"Hide `Data.OldList` module\n\nSummary:\nThe `Data.OldList` module was originally created in\n3daf0023d2dcf7caf85d61f2dc177f8e9421b2fd to provide a way to access the\noriginal list-specialised functions from `Data.List`. It was also made\nan exposed module in order to facilitate adapting the\n`haskell2010`/`haskell98` packages. However, since the\n`haskell2010`/`haskell98` packages were dropped, we no longer need to\nexpose `Data.OldList`.\n\nDepends on D511\n\nReviewers: ekmett, austin\n\nReviewed By: ekmett, austin\n\nSubscribers: thomie, carter\n\nDifferential Revision: https://phabricator.haskell.org/D513","distinct":false,"url":"https://api.github.com/repos/tweag/ghc/commits/e888b943396c21db74ba2fc69bf3a89e2473ea2b"},{"sha":"f60eeb41ab48e73ea49fba64a745ddc4a6b8c085","author":{"email":"e3c2607b4910d79b93c6ead4fe5d323c63e0e4d1@gmail.com","name":"David Feuer"},"message":"Export scanl' from Data.OldList and Data.List\n\nSummary: Fixes #9368\n\nReviewers: nomeata, hvr, ekmett, austin\n\nReviewed By: ekmett, austin\n\nSubscribers: thomie, carter\n\nDifferential Revision: https://phabricator.haskell.org/D498\n\nGHC Trac Issues: #9368","distinct":false,"url":"https://api.github.com/repos/tweag/ghc/commits/f60eeb41ab48e73ea49fba64a745ddc4a6b8c085"},{"sha":"067f1e4f20efc824badbac54da2f9484090cb39b","author":{"email":"7c47fb8c5e263626481b146af46f62cf5772922e@gmail.com","name":"Eric Seidel"},"message":"Add flag `-fwarn-missing-exported-sigs`\n\nSummary: add `-fwarn-missing-exported-sigs` to only warn about missing signatures if the name is exported\n\nTest Plan: validate, see testsuite/tests/warnings/should_compile/T2526.hs\n\nReviewers: ezyang, austin, thomie\n\nReviewed By: austin, thomie\n\nSubscribers: ezyang, thomie, carter\n\nDifferential Revision: https://phabricator.haskell.org/D482\n\nGHC Trac Issues: #2526\n\nConflicts:\n\tdocs/users_guide/7.10.1-notes.xml","distinct":false,"url":"https://api.github.com/repos/tweag/ghc/commits/067f1e4f20efc824badbac54da2f9484090cb39b"},{"sha":"7ed482d909556c1b969185921e27e3fe30c2fe86","author":{"email":"815e8f570865f2efd141c7915958bae99974cc88@cs.ox.ac.uk","name":"Jose Pedro Magalhaes"},"message":"Implement #5462 (deriving clause for arbitrary classes)\n\nSummary: (this has been submitted on behalf on @dreixel)\n\nReviewers: simonpj, hvr, austin\n\nReviewed By: simonpj, austin\n\nSubscribers: goldfire, thomie, carter, dreixel\n\nDifferential Revision: https://phabricator.haskell.org/D476\n\nGHC Trac Issues: #5462","distinct":false,"url":"https://api.github.com/repos/tweag/ghc/commits/7ed482d909556c1b969185921e27e3fe30c2fe86"},{"sha":"27f9c74630da7ace758c357e6421cc35cb5bebfc","author":{"email":"7ea35d812706d9213868749011af1ed4fa2f6aa0@well-typed.com","name":"Austin Seipp"},"message":"Unbreak build (fallout from 067f1e4f20e)\n\nSigned-off-by: Austin Seipp <austin@well-typed.com>","distinct":false,"url":"https://api.github.com/repos/tweag/ghc/commits/27f9c74630da7ace758c357e6421cc35cb5bebfc"},{"sha":"fec1c3091b43f316ae7e683ed72b3ec175d9fd6e","author":{"email":"08d899b60013a7bc91c1f92fc93e9738772d87e2@me.com","name":"Luke Iannini"},"message":"Revert change to alias handling in ppLlvmGlobal introduced in d87fa34, which requires LLVM 3.6.\n\nSigned-off-by: Austin Seipp <austin@well-typed.com>","distinct":false,"url":"https://api.github.com/repos/tweag/ghc/commits/fec1c3091b43f316ae7e683ed72b3ec175d9fd6e"},{"sha":"b0dd34756613210873ed940d58027f61a492aeda","author":{"email":"1d6e1cf70ec6f9ab28d3ea4b27a49a77654d370e@joachim-breitner.de","name":"Joachim Breitner"},"message":"Rewrite Note [Deriving any class]\n\nPhrases like “Currently, you can...” are going to sound strange in a few\nyears; I rephrased the note to sound less like a proposal and more like\nan explanation.","distinct":false,"url":"https://api.github.com/repos/tweag/ghc/commits/b0dd34756613210873ed940d58027f61a492aeda"},{"sha":"eac9bbecdcbabdf2e6c7f3b2a14dc9eef0b86515","author":{"email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com","name":"Simon Peyton Jones"},"message":"Comments only","distinct":false,"url":"https://api.github.com/repos/tweag/ghc/commits/eac9bbecdcbabdf2e6c7f3b2a14dc9eef0b86515"},{"sha":"e876208117a34fb58f7f1e470de2f954b3ca303d","author":{"email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com","name":"Simon Peyton Jones"},"message":"Rejig builders for pattern synonyms, especially unlifted ones\n\nWhen a pattern synonym is for an unlifted pattern, its \"builder\" would\nnaturally be a top-level unlifted binding, which isn't allowed.  So we\ngive it an extra Void# argument.\n\nOur Plan A involved then making *two* Ids for these builders, with\nsome consequential fuss in the desugarer.  This was more pain than I\nliked, so I've re-jigged it.\n\n * There is just one builder for a pattern synonym.\n\n * It may have an extra Void# arg, but this decision is signalled\n   by the Bool in the psBuilder field.\n\n   I did the same for the psMatcher field.\n\n   Both Bools are serialised into interface files, so there is\n   absolutely no doubt whether that extra Void# argument is required.\n\n * I renamed \"wrapper\" to \"builder\".  We have too may \"wrappers\"\n\n * In order to deal with typecchecking occurrences of P in expressions,\n   I refactored the tcInferId code in TcExpr.\n\nAll of this allowed me to revert 5fe872\n   \"Apply compulsory unfoldings during desugaring, except for `seq` which is special.\"\nwhich turned out to be a rather messy hack in DsBinds","distinct":false,"url":"https://api.github.com/repos/tweag/ghc/commits/e876208117a34fb58f7f1e470de2f954b3ca303d"},{"sha":"76f5f11af42700e3a452c5e03e4ee0235cb08bf6","author":{"email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com","name":"Simon Peyton Jones"},"message":"Move all the zonk/tidy stuff together into TcMType (refactoring only)","distinct":false,"url":"https://api.github.com/repos/tweag/ghc/commits/76f5f11af42700e3a452c5e03e4ee0235cb08bf6"},{"sha":"b6855422fd532e5988fc98764c5cc47acbefbfb8","author":{"email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com","name":"Simon Peyton Jones"},"message":"Implement full co/contra-variant subsumption checking (fixes Trac #9569)\n\nThis is a pretty big patch, but which substantially iproves the subsumption\ncheck.  Trac #9569 was the presenting example, showing how type inference could\ndepend rather delicately on eta expansion.  But there are other less exotic\nexamples; see Note [Co/contra-variance of subsumption checking] in TcUnify.\n\nThe driving change is to TcUnify.tcSubType.  But also\n\n* HsWrapper gets a new constructor WpFun, which behaves very like CoFun:\n       if     wrap1 :: exp_arg <= act_arg\n              wrap2 :: act_res <= exp_res\n       then   WpFun wrap1 wrap2 : (act_arg -> arg_res) <= (exp_arg -> exp_res)\n\n* I generalised TcExp.tcApp to call tcSubType on the result,\n  rather than tcUnifyType.  I think this just makes it consistent\n  with everything else, notably tcWrapResult.\n\nAs usual I ended up doing some follow-on refactoring\n\n* AmbigOrigin is gone (in favour of TypeEqOrigin)\n* Combined BindPatSigCtxt and PatSigCxt into one\n* Improved a bit of error message generation","distinct":false,"url":"https://api.github.com/repos/tweag/ghc/commits/b6855422fd532e5988fc98764c5cc47acbefbfb8"},{"sha":"073119e8e3eff54e64e2f89aa3a00dcf87b36ded","author":{"email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com","name":"Simon Peyton Jones"},"message":"Put the decision of when a unification variable can unify with a polytype\n\nThis was being doing independently in two places. Now it's done in one\nplace, TcType.canUnifyWithPolyType","distinct":false,"url":"https://api.github.com/repos/tweag/ghc/commits/073119e8e3eff54e64e2f89aa3a00dcf87b36ded"},{"sha":"0f5c16370de2af82045d6ae8e64a3096241ceff1","author":{"email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com","name":"Simon Peyton Jones"},"message":"Make the on-the-fly unifier defer forall/forall unification\n\nThis has to be done by the full constraint solver anyway, and it's\nrare, so there's really no point in doing it twice.  This change\njust deletes some (tricky) code.","distinct":false,"url":"https://api.github.com/repos/tweag/ghc/commits/0f5c16370de2af82045d6ae8e64a3096241ceff1"},{"sha":"16d10ae04b66a052fd54e30677ce7696dba53580","author":{"email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com","name":"Simon Peyton Jones"},"message":"Fix a latent promotion bug in TcSimplify.simplifyInfer\n\nWe weren't promoting enough type variables, with unpredictable consequences.\nThe new code is, if anything, simpler.","distinct":false,"url":"https://api.github.com/repos/tweag/ghc/commits/16d10ae04b66a052fd54e30677ce7696dba53580"},{"sha":"5f39c4de78c4f75423789242423c8eea245a5e75","author":{"email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com","name":"Simon Peyton Jones"},"message":"Remove TcMType from compiler_stage2_dll0_MODULES\n\nI can't say I really understand this DLL-split thing, but the build fails\nif I don't remove TcMType here.\n\nI've put this in a commit on its own, but it's a knock-on effect of the\nimmediately preceding wave of typechecker changes","distinct":false,"url":"https://api.github.com/repos/tweag/ghc/commits/5f39c4de78c4f75423789242423c8eea245a5e75"},{"sha":"5760eb598e0dfa451407195f15072204c15233ed","author":{"email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com","name":"Simon Peyton Jones"},"message":"Test Trac #9318","distinct":false,"url":"https://api.github.com/repos/tweag/ghc/commits/5760eb598e0dfa451407195f15072204c15233ed"},{"sha":"b82410ab8908f1ec2a6aa14cce62948c92bcbce9","author":{"email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com","name":"Simon Peyton Jones"},"message":"Trac #9222 is actually an ambiguous type, now detected","distinct":false,"url":"https://api.github.com/repos/tweag/ghc/commits/b82410ab8908f1ec2a6aa14cce62948c92bcbce9"},{"sha":"e6391208347103f8c21a446fbc657e979051db54","author":{"email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com","name":"Simon Peyton Jones"},"message":"Delete duplicated tests","distinct":false,"url":"https://api.github.com/repos/tweag/ghc/commits/e6391208347103f8c21a446fbc657e979051db54"}]}