{"push_id":557684135,"size":5,"distinct_size":5,"ref":"refs/heads/nokinds","head":"c44240eb7330eadb6627d30e8f3a94e878a552ac","before":"5ec6bd2ecbc0d537bdf9386031da71b8b6424e41","commits":[{"sha":"44fdc3e2a21444cb9c06c078ff3c1db27416856e","author":{"email":"cd4786f13e62ed6bb2b908ed2441bc4082f660fb@cis.upenn.edu","name":"Richard Eisenberg"},"message":"Non-quantified predicates are really mono_tvs in decideQuant","distinct":true,"url":"https://api.github.com/repos/goldfirere/ghc/commits/44fdc3e2a21444cb9c06c078ff3c1db27416856e"},{"sha":"33cb018ed79092f5e76ae0d4832a5f88b02af456","author":{"email":"cd4786f13e62ed6bb2b908ed2441bc4082f660fb@cis.upenn.edu","name":"Richard Eisenberg"},"message":"Sometimes (simplifyInfer), simplifyWanteds should be Impure.","distinct":true,"url":"https://api.github.com/repos/goldfirere/ghc/commits/33cb018ed79092f5e76ae0d4832a5f88b02af456"},{"sha":"2a9f9523fb8b7b4439b9f13d7c17e29246c6e2a5","author":{"email":"cd4786f13e62ed6bb2b908ed2441bc4082f660fb@cis.upenn.edu","name":"Richard Eisenberg"},"message":"Promote covars more aggressively.","distinct":true,"url":"https://api.github.com/repos/goldfirere/ghc/commits/2a9f9523fb8b7b4439b9f13d7c17e29246c6e2a5"},{"sha":"6bd85fbb8958bbd786933f029a3c799b96e5bb7a","author":{"email":"cd4786f13e62ed6bb2b908ed2441bc4082f660fb@cis.upenn.edu","name":"Richard Eisenberg"},"message":"Still need to import Alternative in 7.10","distinct":true,"url":"https://api.github.com/repos/goldfirere/ghc/commits/6bd85fbb8958bbd786933f029a3c799b96e5bb7a"},{"sha":"c44240eb7330eadb6627d30e8f3a94e878a552ac","author":{"email":"cd4786f13e62ed6bb2b908ed2441bc4082f660fb@cis.upenn.edu","name":"Richard Eisenberg"},"message":"Unlifted equalities are equalities, too!","distinct":true,"url":"https://api.github.com/repos/goldfirere/ghc/commits/c44240eb7330eadb6627d30e8f3a94e878a552ac"}]}