{"push_id":642932553,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"442daf038692056801dcc55de03057792f054bf4","before":"a916b8e3201e5db8e2d03c8d28afd43b006eed46","commits":[{"sha":"ec7c692e5c43dc144e3f6440f9368781e6a3657e","author":{"email":"cd4786f13e62ed6bb2b908ed2441bc4082f660fb@cis.upenn.edu","name":"Richard Eisenberg"},"message":"Fix the formal operational semantics (#10121)\n\nThis adapts the work of Christiaan Baaij to present a sensible\noperational semantics for FC with mutual recursion.","distinct":true,"url":"https://api.github.com/repos/goldfirere/ghc/commits/ec7c692e5c43dc144e3f6440f9368781e6a3657e"},{"sha":"442daf038692056801dcc55de03057792f054bf4","author":{"email":"cd4786f13e62ed6bb2b908ed2441bc4082f660fb@cis.upenn.edu","name":"Richard Eisenberg"},"message":"Test #10321 in ghci/scripts/T10321","distinct":true,"url":"https://api.github.com/repos/goldfirere/ghc/commits/442daf038692056801dcc55de03057792f054bf4"}]}