{"push_id":549428848,"size":3,"distinct_size":1,"ref":"refs/heads/heather","head":"226f31afddf1d229e56d3563c39bd54d11cb01ba","before":"748fd26b69e9001e9bc3561c94c0a5b43d7c136c","commits":[{"sha":"3c187ce04be5446212034dc763851f53cfb84667","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Better tracking of FC in implicit coercions / DSL\n\nNow, implicit coercion-related type errors give their source location\nwhen its available from a subterm.\n\nAlso, index_first variables in DSL blocks give the source location of\ntheir use site rather than the DSL's definition site.","distinct":false,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/3c187ce04be5446212034dc763851f53cfb84667"},{"sha":"91b77158ae2243fe9485ae45a2799f316dee8053","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #1861 from david-christiansen/coercion-fc\n\nBetter tracking of FC in implicit coercions / DSL","distinct":false,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/91b77158ae2243fe9485ae45a2799f316dee8053"},{"sha":"226f31afddf1d229e56d3563c39bd54d11cb01ba","author":{"email":"d53652de63b26f2b99abfc5699fac10f3f95e1f7@live.ru","name":"Heather"},"message":"sharingan","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/226f31afddf1d229e56d3563c39bd54d11cb01ba"}]}