{"push_id":766598529,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"b693b814aa6f3b0d7bd5c498b81d3b4992588702","before":"77324bdeff78af3429ca3e2944ee3121288f0605","commits":[{"sha":"1c87b5e26a364bcf98d6e030c19665c7fdba765b","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Thread the fresh name counter through runElab\n\nBefore, recursive reflected elaborator invocations could lead to name\ncapture, because each recursive invocation had its own fresh name\ncounter. This made combining their results unsafe. Now, they share a\ncounter, which makes it safe again.","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/1c87b5e26a364bcf98d6e030c19665c7fdba765b"},{"sha":"d741a30ed58463931b525cb9d4ba51d37fab9b77","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Extra info for errors in advanced mode\n\nWhen showing error context information, display the difference between\nunification and conversion errors. This is convenient when debugging\nElab scripts.","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/d741a30ed58463931b525cb9d4ba51d37fab9b77"},{"sha":"fbb201c5ffdf144efb5b88226a20d82911c9f6e0","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Merge branch 'hl-kw' into wip/tactical","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/fbb201c5ffdf144efb5b88226a20d82911c9f6e0"},{"sha":"ab63941a040e53f8dd41318174d204c62ac7c4a5","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Added top-level %runElab support\n\nNow, %runElab also works in a declaration context, eliminating the need\nfor a useless definition of type () when running for side effects.","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/ab63941a040e53f8dd41318174d204c62ac7c4a5"},{"sha":"b693b814aa6f3b0d7bd5c498b81d3b4992588702","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #2540 from david-christiansen/wip/tactical\n\nRecent updates and bug fixes for Elab reflection","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/b693b814aa6f3b0d7bd5c498b81d3b4992588702"}]}