{"push_id":1273381959,"size":363,"distinct_size":0,"ref":"refs/heads/parser-reserved","head":"c70672d209036f72593cb52ee1d200a48c22922d","before":"e9cb749b8bf803c204ab3de2d7a2e65e6b1d5415","commits":[{"sha":"894f664b39e7a8b07825c2dddd3fd549ff131464","author":{"name":"Ahmad Salim Al-Sibahi","email":"57554ebe0a359ec64e217f9a0779baaf60b21496@itu.dk"},"message":"Allowed multiple bindings in dependent pairs\n\nOne can now write (a1 : t1 ** ... ** an : tn ** t) instead of (a1 : t1\n** (... ** (an : tn ** t))) and similarly with values (a1 ** .. ** an).\nThis makes the dependent pair syntax mimic the normal pair syntax.\n\nRewrote test015 with new syntax, in order to not break the change in the\nfuture. Updated CHANGELOG.","distinct":false,"url":"https://api.github.com/repos/enolan/Idris-dev/commits/894f664b39e7a8b07825c2dddd3fd549ff131464"},{"sha":"f3ce68ea69c20fe9f395e8dde32762194709408f","author":{"name":"David Raymond Christiansen","email":"d8099b0f90e53c29d29eb12a7a3caa5af4f12681@davidchristiansen.dk"},"message":"Merge branch 'feature/deppairparsing' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/deppairparsing\n\nConflicts:\n\tCHANGELOG","distinct":false,"url":"https://api.github.com/repos/enolan/Idris-dev/commits/f3ce68ea69c20fe9f395e8dde32762194709408f"},{"sha":"7bf0ea306c1fda4907c372fa8a6238d910796550","author":{"name":"David Raymond Christiansen","email":"d8099b0f90e53c29d29eb12a7a3caa5af4f12681@davidchristiansen.dk"},"message":"Pretty-printer for new nested dependent pair syntax","distinct":false,"url":"https://api.github.com/repos/enolan/Idris-dev/commits/7bf0ea306c1fda4907c372fa8a6238d910796550"},{"sha":"39ecf992cc9008e32c80a7b1cc7d35abc80f9679","author":{"name":"Ahmad Salim Al-Sibahi","email":"57554ebe0a359ec64e217f9a0779baaf60b21496@itu.dk"},"message":"Fixed parsing of dependent pair expressions when Type appears as a type","distinct":false,"url":"https://api.github.com/repos/enolan/Idris-dev/commits/39ecf992cc9008e32c80a7b1cc7d35abc80f9679"},{"sha":"bf0fe16fbe6df95105f74c5f6db3965331385c96","author":{"name":"Ahmad Salim Al-Sibahi","email":"57554ebe0a359ec64e217f9a0779baaf60b21496@itu.dk"},"message":"Merge pull request #1 from david-christiansen/ahmadsalim-feature/deppairparsing\n\nFix merge conflict + add pretty printer","distinct":false,"url":"https://api.github.com/repos/enolan/Idris-dev/commits/bf0fe16fbe6df95105f74c5f6db3965331385c96"},{"sha":"dcacfeab6c6e8803676919f4de823bb8f5f4a761","author":{"name":"Ahmad Salim Al-Sibahi","email":"57554ebe0a359ec64e217f9a0779baaf60b21496@itu.dk"},"message":"Merge branch 'feature/deppairparsing' of github.com:ahmadsalim/Idris-dev into feature/deppairparsing","distinct":false,"url":"https://api.github.com/repos/enolan/Idris-dev/commits/dcacfeab6c6e8803676919f4de823bb8f5f4a761"},{"sha":"e4a04b453b4db68b6eeb211b1b7edcccf190b302","author":{"name":"Jacob Mitchell","email":"b8e547fced78ee88a7bbc299bde853fefa9528b4@member.fsf.org"},"message":"Clarify behavior of type provider test","distinct":false,"url":"https://api.github.com/repos/enolan/Idris-dev/commits/e4a04b453b4db68b6eeb211b1b7edcccf190b302"},{"sha":"ebbae35323e8328757641eda2423fb867589c62b","author":{"name":"Jacob Mitchell","email":"b8e547fced78ee88a7bbc299bde853fefa9528b4@member.fsf.org"},"message":"New test: Type Provider backed by new FFI_C\n\nThe Type Provider tutorial currently depends on deprecated FFI (see\nthe new FFI.\n\nFixes to the tutorial will follow.","distinct":false,"url":"https://api.github.com/repos/enolan/Idris-dev/commits/ebbae35323e8328757641eda2423fb867589c62b"},{"sha":"d740cc5887f9c88ed40eeb9fd1c72a9d69d86f68","author":{"name":"Jacob Mitchell","email":"b8e547fced78ee88a7bbc299bde853fefa9528b4@member.fsf.org"},"message":"Tell Cabal about new test files","distinct":false,"url":"https://api.github.com/repos/enolan/Idris-dev/commits/d740cc5887f9c88ed40eeb9fd1c72a9d69d86f68"},{"sha":"b24a6853ae26447f7320899854c686e578caad11","author":{"name":"Jacob Mitchell","email":"b8e547fced78ee88a7bbc299bde853fefa9528b4@member.fsf.org"},"message":"Merge branch 'master' into fix/master/cleanup-deprecated-ffi","distinct":false,"url":"https://api.github.com/repos/enolan/Idris-dev/commits/b24a6853ae26447f7320899854c686e578caad11"},{"sha":"731c6e4207cd1e649d4cbaadb5ecc48d2dec435f","author":{"name":"Jacob Mitchell","email":"b8e547fced78ee88a7bbc299bde853fefa9528b4@member.fsf.org"},"message":"Update Type Provider docs to use current FFI","distinct":false,"url":"https://api.github.com/repos/enolan/Idris-dev/commits/731c6e4207cd1e649d4cbaadb5ecc48d2dec435f"},{"sha":"7bcab73c04d854b891de93119b0585ef8851b62b","author":{"name":"Jacob Mitchell","email":"b8e547fced78ee88a7bbc299bde853fefa9528b4@member.fsf.org"},"message":"Remove discussion of deprecated FFI","distinct":false,"url":"https://api.github.com/repos/enolan/Idris-dev/commits/7bcab73c04d854b891de93119b0585ef8851b62b"},{"sha":"f9a905ef8c170cedb1d9f02839ee33f9ef8e8620","author":{"name":"Jacob Mitchell","email":"b8e547fced78ee88a7bbc299bde853fefa9528b4@member.fsf.org"},"message":"Fix assumption in test that sizeof(size_t) == 8","distinct":false,"url":"https://api.github.com/repos/enolan/Idris-dev/commits/f9a905ef8c170cedb1d9f02839ee33f9ef8e8620"},{"sha":"b9f4de71d83b2ae813666cf8ea02867e6f887183","author":{"name":"Aaron Craelius","email":"a619ded90a200e4bd5c7b3fe25a86c22c727e23c@gmail.com"},"message":"First attempt at getting order-independent Effects working.\n\nThis implementation has what seems to me to be unnecessary complexity\ndue to needing to figure out how to get the Handler eff m type class\nresolution to be inferred through-out the Env re-ordering code - envElem\nand dropEnv is a good example of this. I think that possibly someone else\ncould make this a bit cleaner, but it works in my tests.","distinct":false,"url":"https://api.github.com/repos/enolan/Idris-dev/commits/b9f4de71d83b2ae813666cf8ea02867e6f887183"},{"sha":"d36eeea3d0f1e028f365ed42687ee2e08599f74d","author":{"name":"Aaron Craelius","email":"a619ded90a200e4bd5c7b3fe25a86c22c727e23c@gmail.com"},"message":"Added totality checks to Effects reordering functions and a %assert_total directive for dropEnv where I cannot figure out how to deal with the failing case (which I'm pretty sure is impossible).","distinct":false,"url":"https://api.github.com/repos/enolan/Idris-dev/commits/d36eeea3d0f1e028f365ed42687ee2e08599f74d"},{"sha":"79d43a7f5145b01281b3886c19b7675b9e77250d","author":{"name":"Aaron Craelius","email":"a619ded90a200e4bd5c7b3fe25a86c22c727e23c@gmail.com"},"message":"Merge branch 'master' of github.com:idris-lang/Idris-dev","distinct":false,"url":"https://api.github.com/repos/enolan/Idris-dev/commits/79d43a7f5145b01281b3886c19b7675b9e77250d"},{"sha":"101a2e9d920a79d004f67377b0fb47ed61f44f89","author":{"name":"Ahmad Salim Al-Sibahi","email":"57554ebe0a359ec64e217f9a0779baaf60b21496@itu.dk"},"message":"Refactored a big part of parsing","distinct":false,"url":"https://api.github.com/repos/enolan/Idris-dev/commits/101a2e9d920a79d004f67377b0fb47ed61f44f89"},{"sha":"e10d854767c883c2798ff375d504883d53e410b3","author":{"name":"Ahmad Salim Al-Sibahi","email":"57554ebe0a359ec64e217f9a0779baaf60b21496@itu.dk"},"message":"Allowed mixed parsing of dependent pairs","distinct":false,"url":"https://api.github.com/repos/enolan/Idris-dev/commits/e10d854767c883c2798ff375d504883d53e410b3"},{"sha":"d77753dda1477ec1b00c3ec697ed929b7c146bcb","author":{"name":"Ahmad Salim Al-Sibahi","email":"57554ebe0a359ec64e217f9a0779baaf60b21496@itu.dk"},"message":"Merge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/deppairparsing","distinct":false,"url":"https://api.github.com/repos/enolan/Idris-dev/commits/d77753dda1477ec1b00c3ec697ed929b7c146bcb"},{"sha":"e96836a55acf20433a0d4164545614b1b27ea5ad","author":{"name":"Ahmad Salim Al-Sibahi","email":"57554ebe0a359ec64e217f9a0779baaf60b21496@itu.dk"},"message":"Fixed parsing error due to parsing an expression without a left\ncomponent","distinct":false,"url":"https://api.github.com/repos/enolan/Idris-dev/commits/e96836a55acf20433a0d4164545614b1b27ea5ad"}]}
{"actor":{"display_login":"enolan"}}