{"push_id":985436013,"size":456,"distinct_size":173,"ref":"refs/heads/unboxed-sums-stg-rebase-rgscott","head":"035c28a78db123189cacf5341341495dd69df862","before":"5fdc862f51a4db003d3b361b64411fddbd8db51a","commits":[{"sha":"b8abd852d3674cb485490d2b2e94906c06ee6e8f","author":{"email":"fd5ac95021389c664c1d9007327b3b9c9eebb8bb@p.lodz.pl","name":"Jan Stolarek"},"message":"Replace calls to `ptext . sLit` with `text`\n\nSummary:\nIn the past the canonical way for constructing an SDoc string literal was the\ncomposition `ptext . sLit`.  But for some time now we have function `text` that\ndoes the same.  Plus it has some rules that optimize its runtime behaviour.\nThis patch takes all uses of `ptext . sLit` in the compiler and replaces them\nwith calls to `text`.  The main benefits of this patch are clener (shorter) code\nand less dependencies between module, because many modules now do not need to\nimport `FastString`.  I don't expect any performance benefits - we mostly use\nSDocs to report errors and it seems there is little to be gained here.\n\nTest Plan: ./validate\n\nReviewers: bgamari, austin, goldfire, hvr, alanz\n\nSubscribers: goldfire, thomie, mpickering\n\nDifferential Revision: https://phabricator.haskell.org/D1784","distinct":false,"url":"https://api.github.com/repos/osa1/ghc/commits/b8abd852d3674cb485490d2b2e94906c06ee6e8f"},{"sha":"240ddd7c39536776e955e881d709bbb039b48513","author":{"email":"dbd597f5635f432486c5d365e9bb585b3eaa1853@cs.stanford.edu","name":"Edward Z. Yang"},"message":"Switch from -this-package-key to -this-unit-id.\n\nA small cosmetic change, but we have to do a bit of work to\nactually support it:\n\n    - Cabal submodule update, so that Cabal passes us\n      -this-unit-id when we ask for it.  This includes\n      a Cabal renaming to be consistent with Unit ID, which\n      makes ghc-pkg a bit more scrutable.\n\n    - Build system is updated to use -this-unit-id rather than\n      -this-package-key, to avoid deprecation warnings.  Needs\n      a version test so I resurrected the old test we had\n      (sorry rwbarton!)\n\n    - I've *undeprecated* -package-name, so that we are in the same\n      state as GHC 7.10, since the \"correct\" flag will have only\n      entered circulation in GHC 8.0.\n\n    - I removed -package-key.  Since we didn't deprecate -package-id\n      I think this should not cause any problems for users; they\n      can just change their code to use -package-id.\n\n    - The package database is indexed by UNIT IDs, not component IDs.\n      I updated the naming here.\n\n    - I dropped the signatures field from ExposedModule; nothing\n      was using it, and instantiatedWith from the package database\n      field.\n\n    - ghc-pkg was updated to use unit ID nomenclature, I removed\n      the -package-key flags but I decided not to add any new flags\n      for now.\n\nSigned-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>\n\nTest Plan: validate\n\nReviewers: austin, hvr, bgamari\n\nReviewed By: bgamari\n\nSubscribers: 23Skidoo, thomie, erikd\n\nDifferential Revision: https://phabricator.haskell.org/D1780","distinct":false,"url":"https://api.github.com/repos/osa1/ghc/commits/240ddd7c39536776e955e881d709bbb039b48513"},{"sha":"cbc03f1ce3ae23d6b9515157db7c43a2456ad9c9","author":{"email":"ef9c145df0d91f4ae3f2ee937c5757f539df3df6@gmail.com","name":"Ben Gamari"},"message":"ghci: Kill global macros list\n\nTest Plan: Validate\n\nReviewers: simonmar, thomie, austin\n\nReviewed By: austin\n\nSubscribers: alanz\n\nDifferential Revision: https://phabricator.haskell.org/D1789","distinct":false,"url":"https://api.github.com/repos/osa1/ghc/commits/cbc03f1ce3ae23d6b9515157db7c43a2456ad9c9"},{"sha":"d2ea7f94cb21662857cd50c95ff41943e5911a9b","author":{"email":"ef9c145df0d91f4ae3f2ee937c5757f539df3df6@gmail.com","name":"Ben Gamari"},"message":"Hide derived OccNames from user\n\nThis hides derived OccNames from the Names returned from\nrunDeclsWithLocation and clarifies the documentation. This is done to\nensure that these names (originating from, e.g., derived Generic\ninstances and type representation bindings) don't show up in ghci output\nwhen run with `:set +t`. This fixes #11051.\n\nTest Plan: Validate with included tests\n\nReviewers: austin\n\nReviewed By: austin\n\nSubscribers: thomie, hvr\n\nDifferential Revision: https://phabricator.haskell.org/D1794\n\nGHC Trac Issues: #11051","distinct":false,"url":"https://api.github.com/repos/osa1/ghc/commits/d2ea7f94cb21662857cd50c95ff41943e5911a9b"},{"sha":"38666bda4517856eae3228c2119a97c32aa3fc40","author":{"email":"ef9c145df0d91f4ae3f2ee937c5757f539df3df6@gmail.com","name":"Ben Gamari"},"message":"user-guide: Delete errant fragment\n\nReviewers: austin\n\nReviewed By: austin\n\nSubscribers: thomie\n\nDifferential Revision: https://phabricator.haskell.org/D1796","distinct":false,"url":"https://api.github.com/repos/osa1/ghc/commits/38666bda4517856eae3228c2119a97c32aa3fc40"},{"sha":"aff51af1d747f88a140f435882efcd46b47b50af","author":{"email":"ef9c145df0d91f4ae3f2ee937c5757f539df3df6@gmail.com","name":"Ben Gamari"},"message":"users-guide: Begin documenting --frontend\n\nReviewers: austin\n\nSubscribers: thomie, ezyang\n\nDifferential Revision: https://phabricator.haskell.org/D1793\n\nGHC Trac Issues: #11448","distinct":false,"url":"https://api.github.com/repos/osa1/ghc/commits/aff51af1d747f88a140f435882efcd46b47b50af"},{"sha":"80265c4c3c827695e92dd9620faf47e064b5da37","author":{"email":"7e4a75484f483b5dcc54ee90b277f9fe0a200086@gmail.com","name":"Gabor Greif"},"message":"Typos in comments","distinct":false,"url":"https://api.github.com/repos/osa1/ghc/commits/80265c4c3c827695e92dd9620faf47e064b5da37"},{"sha":"9d33adb6f352ad4e488067a8756928b3778920e0","author":{"email":"d000de049448e51549b6fa379cf4661e6d30a770@gmail.com","name":"Bartosz Nitka"},"message":"Check InScopeSet in substTy and provide substTyUnchecked\n\nThis adds sanity checks to `substTy` that implement:\n\n> when calling substTy subst ty it should be the case that the in-scope\n> set in the substitution is a superset of\n> * The free vars of the range of the substitution\n> * The free vars of ty minus the domain of the substitution\n\nand replaces violators with unchecked version. The violators were found\nby running the GHC test suite.\n\nThis ensures that I can work on this incrementally and that what I fix won't\nbe undone by some other change.\n\nIt also includes a couple of fixes that I've already done.\n\nTest Plan: ./validate\n\nReviewers: simonmar, goldfire, simonpj, austin, bgamari\n\nReviewed By: simonpj, bgamari\n\nSubscribers: thomie\n\nDifferential Revision: https://phabricator.haskell.org/D1792\n\nGHC Trac Issues: #11371","distinct":false,"url":"https://api.github.com/repos/osa1/ghc/commits/9d33adb6f352ad4e488067a8756928b3778920e0"},{"sha":"713aa90d3c4fde18d58c321520611892ed426d38","author":{"email":"decdd18837d4a916eca7a4e32d1adbab3050ef37@fb.com","name":"Simon Marlow"},"message":"Re-export ghc-boot:GHC.Serialized as Serialized\n\nFor backwards-compat with GHC 7.10.","distinct":false,"url":"https://api.github.com/repos/osa1/ghc/commits/713aa90d3c4fde18d58c321520611892ed426d38"},{"sha":"952eda2ec98e6fde27d25a8c6f398674062e398e","author":{"email":"4a3f4704bc8d2eaf9c65274e8718c7eed4a49074@gmail.com","name":"Ömer Sinan Ağacan"},"message":"Fix IfaceType generation for TyCons without TyVars\n\n- This is only used for printing purposes (in :browse etc.).\n- Fixes #11266.\n\nReviewers: goldfire, bgamari, austin\n\nSubscribers: thomie\n\nDifferential Revision: https://phabricator.haskell.org/D1799\n\nGHC Trac Issues: #11266","distinct":false,"url":"https://api.github.com/repos/osa1/ghc/commits/952eda2ec98e6fde27d25a8c6f398674062e398e"},{"sha":"975bdacb2c72b2ffd4eb8108896f9f984c5d4fcf","author":{"email":"4a3f4704bc8d2eaf9c65274e8718c7eed4a49074@gmail.com","name":"Ömer Sinan Ağacan"},"message":"T11266: Improve the test by adding more of the other problematic modules","distinct":false,"url":"https://api.github.com/repos/osa1/ghc/commits/975bdacb2c72b2ffd4eb8108896f9f984c5d4fcf"},{"sha":"514bac264cb60db26ff9da10c6b79c3f5bd6e96d","author":{"email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com","name":"Simon Peyton Jones"},"message":"Fix combineIdenticalAlts\n\nThis long-standing bug in CoreUtils.combineIdenticalAlts\nwas shown up by Trac #11172. The effect was that it returned\na correct set of alternatives, but a bogus set of \"impossible\ndefault constructors\".  That meant that we subsequently\nremoved all the alternatives from a case, and hence ended\nup with a bogusly empty case that should not have been empty.\n\nSee Note [Care with impossible-constructors when\ncombining alternatives] in CoreUtils.","distinct":false,"url":"https://api.github.com/repos/osa1/ghc/commits/514bac264cb60db26ff9da10c6b79c3f5bd6e96d"},{"sha":"0373a8458a9d5ed0732d06ffd082b939c11b6adc","author":{"email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com","name":"Simon Peyton Jones"},"message":"Oops.  Add missing close-comment\n\nThis fixes 514bac2 for Trac #11172.  Sorry!","distinct":false,"url":"https://api.github.com/repos/osa1/ghc/commits/0373a8458a9d5ed0732d06ffd082b939c11b6adc"},{"sha":"5cce09543db827e662539523ffff4513deb92777","author":{"email":"ef9c145df0d91f4ae3f2ee937c5757f539df3df6@gmail.com","name":"Ben Gamari"},"message":"Use (&&) instead of `if` in Ix derivation\n\nWe were previously using `if` in the derivation of `Ix` instances. This\ninteracts badly with RebindableSyntax as the typechecker doesn't infer\nthe type of the argument we give to `tagToEnum#`.\n\nPreviously we produced, `if (ch >= ah) then (ch <= bh) else False`.\n\nWe now produce `(ch >= ah) && (ch <= bh)`\n\nFixes #11396.\n\nTest Plan: Validate\n\nReviewers: austin, simonpj\n\nReviewed By: simonpj\n\nSubscribers: thomie\n\nDifferential Revision: https://phabricator.haskell.org/D1797\n\nGHC Trac Issues: #11396","distinct":false,"url":"https://api.github.com/repos/osa1/ghc/commits/5cce09543db827e662539523ffff4513deb92777"},{"sha":"84b0ebedd09fcfbda8efd7576dce9f52a2b6e6ca","author":{"email":"ef9c145df0d91f4ae3f2ee937c5757f539df3df6@gmail.com","name":"Ben Gamari"},"message":"Rework derivation of type representations for wired-in things\n\nPreviously types defined by `GHC.Types` and `GHC.Prim` had their\n`Typeable` representations manually defined in `GHC.Typeable.Internals`.\nThis was terrible, resulting in a great deal of boilerplate and a number\nof bugs due to missing or inconsistent representations (see #11120).\n\nHere we take a different tack, initially proposed by Richard Eisenberg:\nWe wire-in the `Module`, `TrName`, and `TyCon` types, allowing them to\nbe used in `GHC.Types`. We then allow the usual type representation\ngeneration logic to handle this module.\n\n`GHC.Prim`, on the other hand, is a bit tricky as it has no object code\nof its own.  To handle this we instead place the type representations\nfor the types defined here in `GHC.Types`.\n\nOn the whole this eliminates several special-cases as well as a fair\namount of boilerplate from hand-written representations. Moreover, we\nget full coverage of primitive types for free.\n\nTest Plan: Validate\n\nReviewers: goldfire, simonpj, austin, hvr\n\nSubscribers: goldfire, simonpj, thomie\n\nDifferential Revision: https://phabricator.haskell.org/D1774\n\nGHC Trac Issues: #11120","distinct":false,"url":"https://api.github.com/repos/osa1/ghc/commits/84b0ebedd09fcfbda8efd7576dce9f52a2b6e6ca"},{"sha":"225afc4ace4dff4ae52ac2147942cdeeb76fc723","author":{"email":"396ca1f6dce6fa732fd1ba1a295d829a4b96d977@ewps.nl","name":"Rik Steenkamp"},"message":"Add test T9407 (Windows)\n\nAdd test for #9407. The test is only run on Windows 64bit, as this is\nwhere the problem occurred.\n\nReviewed by: thomie\n\nDifferential Revision: https://phabricator.haskell.org/D1806","distinct":false,"url":"https://api.github.com/repos/osa1/ghc/commits/225afc4ace4dff4ae52ac2147942cdeeb76fc723"},{"sha":"6ddc99116d0107d7781dff1b93d3e8b6f42a99ed","author":{"email":"ab9e1598ed2369b9e8a97a494e9ac8bffae3982a@gmail.com","name":"Thomas Miedema"},"message":"Update submodule stm + random\n\nSkip random tests when random is not built.\nSkip stm tests when stm is not built.","distinct":false,"url":"https://api.github.com/repos/osa1/ghc/commits/6ddc99116d0107d7781dff1b93d3e8b6f42a99ed"},{"sha":"48d4bc53c517d5e2ac3ff734a7d7a0e2d9454717","author":{"email":"d000de049448e51549b6fa379cf4661e6d30a770@gmail.com","name":"Bartosz Nitka"},"message":"substTy to substTyUnchecked to fix Travis build\n\nThis fixes the immediate problem from\nhttps://s3.amazonaws.com/archive.travis-ci.org/jobs/103319396/log.txt\n\nTest Plan: ./validate\n\nReviewers: bgamari, austin, thomie\n\nDifferential Revision: https://phabricator.haskell.org/D1802\n\nGHC Trac Issues: #11371","distinct":false,"url":"https://api.github.com/repos/osa1/ghc/commits/48d4bc53c517d5e2ac3ff734a7d7a0e2d9454717"},{"sha":"1ce137141b7cb3a3c2b111b6121740025bf85570","author":{"email":"73675debcd8a436be48ec22211dcf44fe0df0a64@smart-cactus.org","name":"Ben Gamari"},"message":"MkId: Update OpenKind reference","distinct":false,"url":"https://api.github.com/repos/osa1/ghc/commits/1ce137141b7cb3a3c2b111b6121740025bf85570"},{"sha":"2e65aae757e789d70249086b76b97ab975747525","author":{"email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com","name":"Simon Peyton Jones"},"message":"Add comments about tyCoVarsOfType\n\nSee Note [Free variables of types].\n\nRichard to check.","distinct":false,"url":"https://api.github.com/repos/osa1/ghc/commits/2e65aae757e789d70249086b76b97ab975747525"}]}