{"push_id":1754399456,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"da177c943b8c20e6c3c6d3f7150a0c63dffae422","before":"09ffcde134d8e8d0d0f178a4a0888fb99a113065","commits":[{"sha":"044a06d4ea10ec32283ab7f8efce8d860a078318","author":{"name":"Fred Emmott","email":"8ab22b3094f1cee5f777886709021598df4146fc@fb.com"},"message":"Release libsodium HHVM extension\n\nSummary:\nAlso includes some compatibility improvements for older versions of libsodium.\n\n`>= 1.0.7` is required for `sodium_add()` - all functions call the libsodium implementation.\n\nfixes #7827\n\nReviewed By: mofarrell\n\nDifferential Revision: D5091220\n\nfbshipit-source-id: b166ca2cce66136b868c886dd31537c30d9986f9","distinct":true,"url":"https://api.github.com/repos/facebook/hhvm/commits/044a06d4ea10ec32283ab7f8efce8d860a078318"},{"sha":"da177c943b8c20e6c3c6d3f7150a0c63dffae422","author":{"name":"Michael Tingley","email":"50ecb1d89883a8b200d96aa1d00c213de81ea129@fb.com"},"message":"Add array_map/array_filter special casing for varray/darray\n\nSummary:\nConsider the following:\n\n  $foo = varray[1, 2, 3, 4, 5];\n  $bar = array_map($x ==> $x, $foo);\n\n  $baz = array(1, 2, 3, 4, 5);\n  $qux = array_map($x ==> $x, $baz);\n\nHack indicates the types of these variables as follows:\n\n  $foo: varray<int>\n  $bar: array<int, int>\n\n  $baz: array<int>\n  $qux: array<int>\n\nThe typechecker special-cases array_map and array_filter so that their output type matches their input type; i.e.:\n\n  array<T> : array<T>\n  array<Tk, Tv> : array<Tk, Tv>\n\nThis special-casing needs to handle `varrays` and `darrays`, i.e.:\n\n  varray<T> : array<T>\n  darray<Tk, Tv> : array<Tk, Tv>\n\nThe output types should not be `varray`/`darray`, just the corresponding array type.\n\nReviewed By: KendallHopkins\n\nDifferential Revision: D5098313\n\nfbshipit-source-id: 2d09e54a1937ec64b76559fedc8d0a9861270c30","distinct":true,"url":"https://api.github.com/repos/facebook/hhvm/commits/da177c943b8c20e6c3c6d3f7150a0c63dffae422"}]}
{"actor":{"display_login":"hhvm-bot"}}