{"push_id":3372586626,"size":71,"distinct_size":0,"ref":"refs/heads/wip/no-kind-vars","head":"5bc195b1fe788e9a900a15fbe473967850517c3e","before":"0b7f6a6c0aa9d145a244d95b417b41e006eac154","commits":[{"sha":"e40f00dcf96ba9009801dd1ca37b4abf12951b6e","author":{"name":"Alexandre Esteves","email":"0a6fa8c180c8c4df0e689aa86c12a276d04c8e2d@gmail.com"},"message":"Fix typos [skip ci]","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/e40f00dcf96ba9009801dd1ca37b4abf12951b6e"},{"sha":"7f26b74e409d058005909fc2b2ed2e6027d49365","author":{"name":"Alec Theriault","email":"80bc400a5ae5988a799a16fd15d1e6ec7e0e030f@gmail.com"},"message":"Add `liftedTyped` to `Lift` class\n\nImplements GHC proposal 43, adding a `liftTyped` method to the `Lift` typeclass.\nThis also adds some documentation to `TExp`, describing typed splices and their\nadvantages over their untyped counterparts.\n\nResolves #14671.","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/7f26b74e409d058005909fc2b2ed2e6027d49365"},{"sha":"0f1eb88c93143359fa671bb72aceebc299c87a95","author":{"name":"Sylvain Henry","email":"220beee1e7109cdd1ee75c5c980de34352cf48ab@haskus.fr"},"message":"Add perf test for #16190","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/0f1eb88c93143359fa671bb72aceebc299c87a95"},{"sha":"1d9a1d9fb8fe0a1fea2c44c4246f102ff3e1f3a3","author":{"name":"Sylvain Henry","email":"220beee1e7109cdd1ee75c5c980de34352cf48ab@haskus.fr"},"message":"NCG: fast compilation of very large strings (#16190)\n\nThis patch adds an optimization into the NCG: for large strings\n(threshold configurable via -fbinary-blob-threshold=NNN flag), instead\nof printing `.asciz \"...\"` in the generated ASM source, we print\n`.incbin \"tmpXXX.dat\"` and we dump the contents of the string into a\ntemporary \"tmpXXX.dat\" file.\n\nSee the note for more details.","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/1d9a1d9fb8fe0a1fea2c44c4246f102ff3e1f3a3"},{"sha":"19626218566ea709b5f6f287d3c296b0c4021de2","author":{"name":"Matthew Pickering","email":"3a150baad2b0281482d27ee2e9cb1741c2d28d51@gmail.com"},"message":"Implement -Wredundant-record-wildcards and -Wunused-record-wildcards\n\n-Wredundant-record-wildcards warns when a .. pattern binds no variables.\n\n-Wunused-record-wildcards warns when none of the variables bound by a ..\npattern are used.\n\nThese flags are enabled by `-Wall`.","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/19626218566ea709b5f6f287d3c296b0c4021de2"},{"sha":"682783828275cca5fd8bf5be5b52054c75e0e22c","author":{"name":"Simon Peyton Jones","email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com"},"message":"Make a smart mkAppTyM\n\nThis patch finally delivers on Trac #15952.  Specifically\n\n* Completely remove Note [The tcType invariant], along with\n  its complicated consequences (IT1-IT6).\n\n* Replace Note [The well-kinded type invariant] with:\n\n      Note [The Purely Kinded Type Invariant (PKTI)]\n\n* Instead, establish the (PKTI) in TcHsType.tcInferApps,\n  by using a new function mkAppTyM when building a type\n  application.  See Note [mkAppTyM].\n\n* As a result we can remove the delicate mkNakedXX functions\n  entirely.  Specifically, mkNakedCastTy retained lots of\n  extremly delicate Refl coercions which just cluttered\n  everything up, and(worse) were very vulnerable to being\n  silently eliminated by (say) substTy. This led to a\n  succession of bug reports.\n\nThe result is noticeably simpler to explain, simpler\nto code, and Richard and I are much more confident that\nit is correct.\n\nIt does not actually fix any bugs, but it brings us closer.\nE.g. I hoped it'd fix #15918 and #15799, but it doesn't quite\ndo so.  However, it makes it much easier to fix.\n\nI also did a raft of other minor refactorings:\n\n* Use tcTypeKind consistently in the type checker\n\n* Rename tcInstTyBinders to tcInvisibleTyBinders,\n  and refactor it a bit\n\n* Refactor tcEqType, pickyEqType, tcEqTypeVis\n  Simpler, probably more efficient.\n\n* Make zonkTcType zonk TcTyCons, at least if they have\n  any free unification variables -- see zonk_tc_tycon\n  in TcMType.zonkTcTypeMapper.\n\n  Not zonking these TcTyCons was actually a bug before.\n\n* Simplify try_to_reduce_no_cache in TcFlatten (a lot)\n\n* Combine checkExpectedKind and checkExpectedKindX.\n  And then combine the invisible-binder instantation code\n  Much simpler now.\n\n* Fix a little bug in TcMType.skolemiseQuantifiedTyVar.\n  I'm not sure how I came across this originally.\n\n* Fix a little bug in TyCoRep.isUnliftedRuntimeRep\n  (the ASSERT was over-zealous).  Again I'm not certain\n  how I encountered this.\n\n* Add a missing solveLocalEqualities in\n  TcHsType.tcHsPartialSigType.\n  I came across this when trying to get level numbers\n  right.","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/682783828275cca5fd8bf5be5b52054c75e0e22c"},{"sha":"5c1f268e2744fab2d36e64c163858995451d7095","author":{"name":"Simon Peyton Jones","email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com"},"message":"Fail fast in solveLocalEqualities\n\nThis patch makes us fail fast in TcSimplify.solveLocalEqualities,\nand in TcHsType.tc_hs_sig_type, if there are insoluble constraints.\n\nPreviously we ploughed on even if there were insoluble constraints,\nleading to a cascade of hard-to-understand type errors. Failing\neagerly is much better; hence a lot of testsuite error message\nchanges.  Eg if we have\n          f :: [Maybe] -> blah\n          f xs = e\nthen trying typecheck 'f x = e' with an utterly bogus type\nis just asking for trouble.\n\nI can't quite remember what provoked me to make this change,\nbut I think the error messages are notably improved, by\nremoving confusing clutter and focusing on the real error.","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/5c1f268e2744fab2d36e64c163858995451d7095"},{"sha":"b31df5caaebb1c4f72a3c70a9cdb7893af4c3309","author":{"name":"Vladislav Zavialov","email":"05989859b390a4f2f4f49bd7427aed40863861c1@gmail.com"},"message":"Hadrian: enable -Wcompat=error in the testsuite","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/b31df5caaebb1c4f72a3c70a9cdb7893af4c3309"},{"sha":"887454d8889ca5dbba70425de41d97939cb9ac60","author":{"name":"Vladislav Zavialov","email":"05989859b390a4f2f4f49bd7427aed40863861c1@gmail.com"},"message":"'forall' always a keyword, plus the dot type operator","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/887454d8889ca5dbba70425de41d97939cb9ac60"},{"sha":"173d0cee84ef944059a473b1425e48062739988f","author":{"name":"Alec Theriault","email":"80bc400a5ae5988a799a16fd15d1e6ec7e0e030f@gmail.com"},"message":"Properly escape character literals in Haddocks\n\nCharacter literals in Haddock should not be written as plain `'\\n'` since\nsingle quotes are for linking identifiers. Besides, since we want the\ncharacter literal to be monospaced, we really should use `@\\'\\\\n\\'@`.\n\n[skip ci]","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/173d0cee84ef944059a473b1425e48062739988f"},{"sha":"bcaba30a9602d7c5899c9754096a4460191dc667","author":{"name":"klebinger.andreas@gmx.at","email":"5997a04e27f1d4b32e6bcd5472a456f720ad6329@gmx.at"},"message":"Don't wrap the entry map for LiveInfo in Maybe.\n\nIt never really encoded a invariant.\n\n* The linear register allocator just did partial pattern matches\n* The graph allocator just set it to (Just mapEmpty) for Nothing\n\nSo I changed LiveInfo to directly contain the map.\n\nFurther natCmmTopToLive which filled in Nothing is no longer exported.\nInstead we know call cmmTopLiveness which changes the type AND fills\nin the map.","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/bcaba30a9602d7c5899c9754096a4460191dc667"},{"sha":"0b92bdc79ddd38ceb69820dbc27ed36d7e5d7a57","author":{"name":"David Eichmann","email":"7e8dac28262150decf06410443391316b14fe0b1@gmail.com"},"message":"Fix and Reapply \"Performance tests: recover a baseline from ancestor commits and CI results.\"","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/0b92bdc79ddd38ceb69820dbc27ed36d7e5d7a57"},{"sha":"9b39597b66b6a46c1af2bb939dd77d01544ab7be","author":{"name":"Matthew Pickering","email":"3a150baad2b0281482d27ee2e9cb1741c2d28d51@gmail.com"},"message":"Fix tests which were made to pass by \"Make a smart mkAppTyM\"\n\nFor some reason gitlab is not reporting these as failures in CI. It's\nnot clear to me why as the junit output looks fine.\n\nFixes #16112 and #16113\n\nThey were fixed by 682783828275cca5fd8bf5be5b52054c75e0e22c","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/9b39597b66b6a46c1af2bb939dd77d01544ab7be"},{"sha":"5544f6082d6e15d305b83f27f4daa29576d3666e","author":{"name":"Matthew Pickering","email":"3a150baad2b0281482d27ee2e9cb1741c2d28d51@gmail.com"},"message":"Remove Simon's special number from typecheck/should_fail/all.t","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/5544f6082d6e15d305b83f27f4daa29576d3666e"},{"sha":"7752fa54909a10b565a80a5ca8b751e174b14282","author":{"name":"Ömer Sinan Ağacan","email":"4a3f4704bc8d2eaf9c65274e8718c7eed4a49074@gmail.com"},"message":"Minor documentation fix in GHC.ForeignPtr","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/7752fa54909a10b565a80a5ca8b751e174b14282"},{"sha":"3cb063c805ec841ca33b8371ef8aba9329221b6c","author":{"name":"Alec Theriault","email":"80bc400a5ae5988a799a16fd15d1e6ec7e0e030f@gmail.com"},"message":"Remove `parallel` as a submodule\n\n`parallel` is used in exactly one place in the GHC tree: the T2317 test.\nIt seems almost by accident that it is a submodule; libraries needed\nonly for tests should net be included as submodules (see `QuickCheck`,\n`async`, `haskell98`, `regex-compat`, `utf8-string`, `vector` and more\nfor examples).\n\nT2317 will now get run only when `parallel` is installed instead of\n`parallel` being required for the testsuite to run.","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/3cb063c805ec841ca33b8371ef8aba9329221b6c"},{"sha":"69ebf5cb4592b4c89e268937ef7eb96f7c9d4532","author":{"name":"Matthew Pickering","email":"3a150baad2b0281482d27ee2e9cb1741c2d28d51@gmail.com"},"message":"HIE: Save module name and module exports","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/69ebf5cb4592b4c89e268937ef7eb96f7c9d4532"},{"sha":"af7b0fdb64ad1c57f5829e8bd89e8e0fa96b11d2","author":{"name":"Peter Trommler","email":"98c88225be7d8ecbeada7d12e193acfb4ffef32e@acm.org"},"message":"Cmm: Promote stack arguments to word size\n\nSmaller than word size integers must be promoted to word size\nwhen passed on the stack. While on little endian systems we can\nget away with writing a small integer to a word size stack slot\nand read it as a word ignoring the upper bits, on big endian\nsystems a small integer write ends up in the most significant\nbits and a word size read that ignores the upper bits delivers\na random value.\n\nOn little endian systems a smaller than word size write to\nthe stack might be more efficient but that decision is\nsystem specific and should be done as an optimization in the\nrespective backends.\n\nFixes #16258","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/af7b0fdb64ad1c57f5829e8bd89e8e0fa96b11d2"},{"sha":"4a09d30bffa0c9df10ab5e7d22293c1f39c75728","author":{"name":"Alec Theriault","email":"80bc400a5ae5988a799a16fd15d1e6ec7e0e030f@gmail.com"},"message":"Run some of Haddock's tests in the testsuite\n\nThe 4 main testsuites in Haddock don't have many dependencies, but are\nregularly broken in small ways by changes to the GHC AST or the GHC API.\nThe main gotcha is that we'll have to make sure that `haddock-test` and\nthe test suite don't add modules without modifying this test. Then again,\nif that happens, the test will fail and someone will noticed.","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/4a09d30bffa0c9df10ab5e7d22293c1f39c75728"},{"sha":"0fff3ae6d2b821cacf33193b85307588402f1748","author":{"name":"Tamar Christina","email":"86e04ccb5f2b01e35badfad6d0fa6ffeb4eb39f8@zhox.com"},"message":"Testsuite: implement use_specs.","distinct":false,"url":"https://api.github.com/repos/ghc/ghc/commits/0fff3ae6d2b821cacf33193b85307588402f1748"}]}
{"actor":{"display_login":"bgamari"}}