{"push_id":661095220,"size":29,"distinct_size":29,"ref":"refs/heads/master","head":"3b0d6501a81e16746aabda1c7b9b275b8479085d","before":"75e38632fa17b9c3ff0b41234a87ab01369b91b9","commits":[{"sha":"c46243b8e33daee0b1a37dff304e8580465a12f0","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Initial implementation of semantic editor hightlighting\n\nMake the elaborator emit highlighting information about terms.","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/c46243b8e33daee0b1a37dff304e8580465a12f0"},{"sha":"da3a26c0a9a7201b75ed179a412e2d9a25f718e2","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Accurate locations for constants\n\nNow, the source spans of constants are recorded accurately.","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/da3a26c0a9a7201b75ed179a412e2d9a25f718e2"},{"sha":"f2d9091528bd2d85b3af903adc76186a8df3c46b","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Accurate location information for Refl","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/f2d9091528bd2d85b3af903adc76186a8df3c46b"},{"sha":"604bde08217db659b844b6f4181f5f412a8bf57d","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Split span parsing into a type class\n\nThis allows a dummy implementation to be provided as a part of the\npackage parser, which re-uses things like the name parser but doesn't\nhave the same token parsing infrastructure.","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/604bde08217db659b844b6f4181f5f412a8bf57d"},{"sha":"4ebafb4b2cd7763b5bf35ec689eb037b9104f781","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Highlight names of simple variable references","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/4ebafb4b2cd7763b5bf35ec689eb037b9104f781"},{"sha":"c8ae141457e0110616e039329c4a8ecd3227b616","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Highlight applications of bound functions","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/c8ae141457e0110616e039329c4a8ecd3227b616"},{"sha":"924f7913e18795b8e070ccbb634000ad88a991bc","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Highlighting for infix operators","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/924f7913e18795b8e070ccbb634000ad88a991bc"},{"sha":"c42673c5d74bbbc2fbd69566eb39db8b5fa1f881","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Highlight pattern vars","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/c42673c5d74bbbc2fbd69566eb39db8b5fa1f881"},{"sha":"689e64bca864b9d1b34f3a6e608b36fb7077e92c","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Highlight pi and lambda binders","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/689e64bca864b9d1b34f3a6e608b36fb7077e92c"},{"sha":"268296f2268de37eb732ae978a4a6fcf11e1fba1","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Highlight the names in type declarations","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/268296f2268de37eb732ae978a4a6fcf11e1fba1"},{"sha":"8984d49cd77d792778ee3764112a9038f8e1c16e","author":{"email":"1f3ac396a798c6fbfbd72d369e7f4ba81ec48431@googlemail.com","name":"Melvar Chen"},"message":"Remove PRefl and all references to it","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/8984d49cd77d792778ee3764112a9038f8e1c16e"},{"sha":"95d90f4d3572395c20408f81167869def74ed383","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Better highlighting for data declarations","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/95d90f4d3572395c20408f81167869def74ed383"},{"sha":"73b666be0f5ebbf5cf5f400219d3e3bf16314a69","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Merge remote-tracking branch 'refs/remotes/upstream/master' into name-highlights\n\nConflicts:\n\tsrc/Idris/Elab/Class.hs\n\tsrc/Idris/Elab/Term.hs\n\tsrc/Idris/ParseData.hs\n\tsrc/Idris/Parser.hs","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/73b666be0f5ebbf5cf5f400219d3e3bf16314a69"},{"sha":"53e12818befe4f637c224a215a06810d58177d8b","author":{"email":"1f3ac396a798c6fbfbd72d369e7f4ba81ec48431@googlemail.com","name":"Melvar Chen"},"message":"Remove PEq","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/53e12818befe4f637c224a215a06810d58177d8b"},{"sha":"5cb8ec3e0513140ec0c87c4d93204469973c6f0c","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Be more careful with implicit FCs\n\nThis stops implict args from being highlighted on top of their functions\nsometimes.","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/5cb8ec3e0513140ec0c87c4d93204469973c6f0c"},{"sha":"c303a387843c583c7c9924c220d2b7055a35ef8c","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Properly highlight 0-argument constructor patterns","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/c303a387843c583c7c9924c220d2b7055a35ef8c"},{"sha":"cc83850d44052d6200c292f61c062950296a61ee","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Accurate highlighting for records","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/cc83850d44052d6200c292f61c062950296a61ee"},{"sha":"56b6850542e703076d81923596f491debe312926","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Precise highlighting of instances","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/56b6850542e703076d81923596f491debe312926"},{"sha":"f3fef7ec3dd7e87f19e15be21a7e68eb1b956791","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Precise tracking of bindings in do blocks","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/f3fef7ec3dd7e87f19e15be21a7e68eb1b956791"},{"sha":"0419a12541f035b7dd03204962bacc11656c5f0a","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Highlight let bindings","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/0419a12541f035b7dd03204962bacc11656c5f0a"}]}