{"push_id":1200931892,"size":2,"distinct_size":2,"ref":"refs/heads/wip/T12382","head":"ef48eedb9b366afd3a40e42e5a9e9112b881d5b0","before":"ea8023e7dd1982e7359e8e1c4d9af34e54e2ee7e","commits":[{"sha":"18ac80ff729eb19ec370ead9f9275b3bc32c1f81","author":{"name":"Joachim Breitner","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@joachim-breitner.de"},"message":"tidyType: Rename variables of nested forall at once\n\nthis refactoring commit prepares for fixing #12382, which can now be\nimplemented soley in tidyTyCoVarBndrs.","distinct":true,"url":"https://api.github.com/repos/ghc/ghc/commits/18ac80ff729eb19ec370ead9f9275b3bc32c1f81"},{"sha":"ef48eedb9b366afd3a40e42e5a9e9112b881d5b0","author":{"name":"Joachim Breitner","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@joachim-breitner.de"},"message":"tidyOccNames: Rename variables fairly\n\nSo that\n> :t (id,id,id)\nproduces\n(id,id,id) :: (a3 -> a3, a2 -> a2, a1 -> a1)\ninstead of\n(id,id,id) :: (a2 -> a2, a1 -> a1, a -> a)","distinct":true,"url":"https://api.github.com/repos/ghc/ghc/commits/ef48eedb9b366afd3a40e42e5a9e9112b881d5b0"}]}
{"actor":{"display_login":"ghc-mirror"}}