{"push_id":607461289,"size":10,"distinct_size":10,"ref":"refs/heads/library-reorg","head":"5ddd0244be1c052619088379496c4e16ccb82f68","before":"2d311c14d168808a740df47384293b7733e33310","commits":[{"sha":"d6d07ff197b082bf4e25e6daaede73aa193a977e","author":{"email":"c00a3057e1daef83aec2643d3987f592fd7bb1de@ualberta.ca","name":"Calvin Beck"},"message":"GC check allocation of new heap.","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/d6d07ff197b082bf4e25e6daaede73aa193a977e"},{"sha":"8f9ac37a02af2d45c2ca52c6a37076eafecd4166","author":{"email":"c00a3057e1daef83aec2643d3987f592fd7bb1de@ualberta.ca","name":"Calvin Beck"},"message":"Generalized alloc_heap so it could be reused for garbage collection.","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/8f9ac37a02af2d45c2ca52c6a37076eafecd4166"},{"sha":"f4aaf01b348f7aa9d0f93072a16d938614ad199f","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Guard !! in forgetEnv\n\nThis means we get better error messages if there are scoping issues,\nparticularly as caused by 'where' clauses with missing types that can't\nbe inferred.\n\nFixes #1978","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/f4aaf01b348f7aa9d0f93072a16d938614ad199f"},{"sha":"a281e23a3657399c2803601161481f25b85df14d","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Class resolution should not use private instances","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/a281e23a3657399c2803601161481f25b85df14d"},{"sha":"446d99d74a60e018c326dd0a973b5565f12a5048","author":{"email":"75097776356cfe35509dd535bf47e958b9a2c41f@gmail.com","name":"Edwin Brady"},"message":"Merge pull request #1967 from Chobbes/gc_malloc\n\nGC check allocation of new heap.","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/446d99d74a60e018c326dd0a973b5565f12a5048"},{"sha":"03b75166a516163dbb82806684b4e27f152eec9b","author":{"email":"75097776356cfe35509dd535bf47e958b9a2c41f@gmail.com","name":"Edwin Brady"},"message":"Revert \"GC check allocation of new heap.\"","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/03b75166a516163dbb82806684b4e27f152eec9b"},{"sha":"dbe0a3c48124cbb66441e09dc5b38bf5ce0d697f","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Check class arguments for injectivity\n\nWe assumed this in the unifier, so if we don't check we'll get lots of\nstrange behaviour.","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/dbe0a3c48124cbb66441e09dc5b38bf5ce0d697f"},{"sha":"ab3b3db435e3a96b55d895c8315526cc2d35168c","author":{"email":"75097776356cfe35509dd535bf47e958b9a2c41f@gmail.com","name":"Edwin Brady"},"message":"Merge pull request #2016 from idris-lang/revert-1967-gc_malloc\n\nRevert \"GC check allocation of new heap.\"","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/ab3b3db435e3a96b55d895c8315526cc2d35168c"},{"sha":"e5b50de7e25238e59dc25882a257d32308547637","author":{"email":"75097776356cfe35509dd535bf47e958b9a2c41f@gmail.com","name":"Edwin Brady"},"message":"Merge pull request #1968 from Chobbes/heap_fixes\n\nGeneralized alloc_heap so it could be reused for garbage collection.","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/e5b50de7e25238e59dc25882a257d32308547637"},{"sha":"5ddd0244be1c052619088379496c4e16ccb82f68","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Merge remote-tracking branch 'refs/remotes/upstream/master' into library-reorg\n\nConflicts:\n\tCHANGELOG\n\tlibs/prelude/Prelude/Applicative.idr\n\tlibs/prelude/Prelude/Functor.idr\n\tlibs/prelude/Prelude/Monad.idr","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/5ddd0244be1c052619088379496c4e16ccb82f68"}]}