{"push_id":865831320,"size":3,"distinct_size":3,"ref":"refs/heads/REPRESENT_TYPE_via_the_CLASSIFY_mechanism","head":"00e98d29063c424c522f643b44d905d035761aec","before":"a8e7c7332ae072da742399e1ce7da3bb33ecac54","commits":[{"sha":"cddf06f64f0528c5c8ce548d932a86459d2606ff","author":{"email":"d1d4d58c77f262eede3d31156afd8cf237868240@gmail.com","name":"sjcjoosten"},"message":"Remove code for GHC 7.10.1 support, as GHC 7.10.1 is not supported","distinct":true,"url":"https://api.github.com/repos/AmpersandTarski/ampersand/commits/cddf06f64f0528c5c8ce548d932a86459d2606ff"},{"sha":"6ad9867c6599a0dddab92e9101bf88b1f6ce103c","author":{"email":"d1d4d58c77f262eede3d31156afd8cf237868240@gmail.com","name":"sjcjoosten"},"message":"Compilation speed is fine now, we can re-enable rewrite-rules to generate more efficient code.","distinct":true,"url":"https://api.github.com/repos/AmpersandTarski/ampersand/commits/6ad9867c6599a0dddab92e9101bf88b1f6ce103c"},{"sha":"00e98d29063c424c522f643b44d905d035761aec","author":{"email":"d1d4d58c77f262eede3d31156afd8cf237868240@gmail.com","name":"sjcjoosten"},"message":"REPRESENT TYPE is derived correctly now.\nStill need to add a test for all ISA statements: because of the `default' type Object, this is not yet guaranteed by the inference mechanism.\nBut it may already be interesting to see what the inferencing mechanism does now.","distinct":true,"url":"https://api.github.com/repos/AmpersandTarski/ampersand/commits/00e98d29063c424c522f643b44d905d035761aec"}]}