{"push_id":2067001311,"size":1,"distinct_size":1,"ref":"refs/heads/issue-628a","head":"26399ac256cf3b964e326cf36c8d95d696a8440e","before":"d1619bfd3a540e9d6804cd2ea08e1e0830d3dae9","commits":[{"sha":"26399ac256cf3b964e326cf36c8d95d696a8440e","author":{"name":"Ben Greenman","email":"8e065b76a4649db031ccc2c7e2b33cbf57188def@gmail.com"},"message":"static-contracts: improve optimizer's test for flat scs\n\n* Add `instantiate/optimize` to the static contracts API\n  (new function in `instantiate.rkt`)\n* Add optional kwd arg `#:recursive-kinds` to sc optimizer\n* SC optimizer uses recursive kinds to tell if a `name/sc` or `recursive-sc`\n  will generate a flat contract\n* `instantiate/optimize`\n  - solves for a recursive kinds table\n  - calls `optimize` with the table\n  - calls `instantiate` with the same table","distinct":true,"url":"https://api.github.com/repos/bennn/typed-racket/commits/26399ac256cf3b964e326cf36c8d95d696a8440e"}]}
{"actor":{"display_login":"bennn"}}