{"push_id":837978591,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"403ddf35b589c0d30737c8acaf74c3898e133a2b","before":"cb6e9aa8307c4dcf062db191fdaaba2936cacd39","commits":[{"sha":"403ddf35b589c0d30737c8acaf74c3898e133a2b","author":{"email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au","name":"Michael Norrish"},"message":"Fix exp_rel_semantics, altering clos semantics too\n\nNow semantics e s Fail only requires that there exist a point at which\nevaluation of e at state s raises a type error.  There is no constraint\non the FFI component of the resulting state.","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/403ddf35b589c0d30737c8acaf74c3898e133a2b"}]}