{"push_id":543166900,"size":3,"distinct_size":1,"ref":"refs/heads/master","head":"bdb35791682361aec29c07e302109a5c2bcaf5a1","before":"e0e39e3eb54d67bfb1ae11578cea0aa0a4e605a4","commits":[{"sha":"b1e4b1c27d8e1de778a781cd729637f2d23612d8","author":{"email":"1294692e88bc3cf578b0cf93126b82e453a3a24f@eafit.edu.co","name":"Andrés Sicard-Ramírez"},"message":"Removed unnecessary OverlappingInstances extension.","distinct":false,"url":"https://api.github.com/repos/agda/agda/commits/b1e4b1c27d8e1de778a781cd729637f2d23612d8"},{"sha":"346e4fca9e0dcc27e06a2e57fb258d2d3491be20","author":{"email":"1294692e88bc3cf578b0cf93126b82e453a3a24f@eafit.edu.co","name":"Andrés Sicard-Ramírez"},"message":"[ GHC 7.10 ] Support for deepseq 1.4.0.0.\n\nGiven the following note from Agda.TypeChecking.Serialise\n\n  -- Note that we only @deepSeq@ for the purpose of correct benchmarking.\n  -- Thus, a simply non-forcing @return@ would be a possible implementation.\n\nI only changed the instances\n\n  instance NFData Foo\n\nto\n\n  instance NFData Foo where rnf x = seq x ()\n\nfollowing the advise given in\nhttps://ghc.haskell.org/trac/ghc/wiki/Migration/7.10.\n\nFor using the new default method based on DefaultSignatures it would\nbe necessary to add many new Generic instances (see\nhttp://hackage.haskell.org/package/deepseq-1.4.0.0/docs/Control-DeepSeq.html).\nThis documentation says that the new method allows more accurate\nauto-derived NFData instance, though.","distinct":false,"url":"https://api.github.com/repos/agda/agda/commits/346e4fca9e0dcc27e06a2e57fb258d2d3491be20"},{"sha":"bdb35791682361aec29c07e302109a5c2bcaf5a1","author":{"email":"1294692e88bc3cf578b0cf93126b82e453a3a24f@eafit.edu.co","name":"Andrés Sicard-Ramírez"},"message":"Merge branch 'maint-2.4.2' of agda-maint","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/bdb35791682361aec29c07e302109a5c2bcaf5a1"}]}