{"push_id":608659306,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"be1569e66d4d4b6d8927c870530892952310ae3a","before":"63e3ef915652772765bf773dda276b8da9b614b2","commits":[{"sha":"be1569e66d4d4b6d8927c870530892952310ae3a","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Fix type class name propagation issue\n\nWe weren't shadowing names correctly when a class was parameterised on a\nsingle variable and one of the methods bound the same name. This almost\nnever happens, but leads to very odd error messages when it does.\n\nFixes #2026","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/be1569e66d4d4b6d8927c870530892952310ae3a"}]}