{"push_id":918732889,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a86c187a2f8a0d8f21ef65bc219d47bc98fb19ad","before":"3a190123de7d5463a2b56902d6f543cea2d604af","commits":[{"sha":"a86c187a2f8a0d8f21ef65bc219d47bc98fb19ad","author":{"email":"b3a03eb0f452577dfbc2c0e3e1b0e0240792373e@cs.indiana.edu","name":"Sam Tobin-Hochstadt"},"message":"Revise handling of #:opaque types, and Any.\n\nGuard opaque predicates with an (-> Any Any) contract. This uses the\ncontract generation infrastructure to avoid wrapping struct predicates.\n\nAlso, relax `any-wrap/c` (the contract used for `Any` in positive\nposition) to allow opaque structures. This also requires an enumeration\nof all the other kinds of values that TR understands, so that they are\nnot confused with opaque structures.\n\nJoint work with @bennn.\n\nCloses #202.\nCloses #203.\nCloses #241.","distinct":true,"url":"https://api.github.com/repos/samth/typed-racket/commits/a86c187a2f8a0d8f21ef65bc219d47bc98fb19ad"}]}