{"push_id":1227162967,"size":17,"distinct_size":17,"ref":"refs/heads/fix-typesfuns-doc","head":"0e5a4764b3a7603a3f254c2fba75b1b0203ac2ba","before":"c7fdc85906946e95a5e42800bdf38fa5164059af","commits":[{"sha":"6db256a18971852fbaa80d97b3eede87b472e0ef","author":{"name":"gpyh","email":"d904bdeff20015ad7fd81499648a7d5e0c75517d@gmail.com"},"message":"Fix formatting of some tests\n\nFix:\n- missing $IDRIS\n- missing/misplaced $@\n- quotes around $@","distinct":true,"url":"https://api.github.com/repos/zjhmale/Idris-dev/commits/6db256a18971852fbaa80d97b3eede87b472e0ef"},{"sha":"181dddbab4dca6d980ae3ecd159e0d47f2db23cf","author":{"name":"gpyh","email":"d904bdeff20015ad7fd81499648a7d5e0c75517d@gmail.com"},"message":"Add missing test files in idris.cabal\n\nSome patterns were missing in `Extra-source-files`","distinct":true,"url":"https://api.github.com/repos/zjhmale/Idris-dev/commits/181dddbab4dca6d980ae3ecd159e0d47f2db23cf"},{"sha":"ff7ea9d65b5c32082cd9aabb14250fded98682e3","author":{"name":"gpyh","email":"d904bdeff20015ad7fd81499648a7d5e0c75517d@gmail.com"},"message":"Add missing test families in test/README.md\n\nIt still needs some clarifiations, specifically:\n  - What is the purpose of `disambig`?\n  - How do the `sugar` and `syntax` differ?\nAlso, added a short comment in `disambig002` to clarify what the\ntest does (thanks @christiansen)","distinct":true,"url":"https://api.github.com/repos/zjhmale/Idris-dev/commits/ff7ea9d65b5c32082cd9aabb14250fded98682e3"},{"sha":"f82e7f60efe7d5bc98e9a042fad19f11c70e891e","author":{"name":"gpyh","email":"d904bdeff20015ad7fd81499648a7d5e0c75517d@gmail.com"},"message":"Add folds in Travis CI's log\n\nTravis CI's log can be quite big, with a lot of uninteresting lines.\nSteps are therefore folded by default, as described in\nhttps://github.com/travis-ci/travis-ci/issues/2285","distinct":true,"url":"https://api.github.com/repos/zjhmale/Idris-dev/commits/f82e7f60efe7d5bc98e9a042fad19f11c70e891e"},{"sha":"4e696581c0053498b6f6178638b9689bc6b72eb1","author":{"name":"gpyh","email":"d904bdeff20015ad7fd81499648a7d5e0c75517d@gmail.com"},"message":"Organized .gitignore a bit","distinct":true,"url":"https://api.github.com/repos/zjhmale/Idris-dev/commits/4e696581c0053498b6f6178638b9689bc6b72eb1"},{"sha":"54b94b9184064269a630c1183979e64ecc444b7f","author":{"name":"gpyh","email":"d904bdeff20015ad7fd81499648a7d5e0c75517d@gmail.com"},"message":"Port the test infrastructure to Tasty\n\n(This is WIP) [ci skip]\n\n`runtest.hs` is replaced by `TestRun.hs`.\nThis program imports `TestData.hs` which holds the tests metadata,\nthen turns it into tests usable by Tasty.\n\nThe functional changes are the following:\n- The tasty framework provides a pretty output by default\n  (colors, individual timings, proper indentation).\n  Tests can run in parallel but the output is still deterministic.\n- Tasty.Golden does the heavy lifting,\n  i.e. comparing outputs and measuring time spent.\n- Output is captured through a pipe connected to a bash process running\n  the `run` script for each test ; this is implemented by the `runTest`\n  function\n- Tests are organised in families, reflecting directories' prefixes.\n  They are listed in `testFamiliesData` in `TestData.hs`.\n- Each test must be registered in `testFamiliesData` under its own\n  family.\n- A custom option has been implemented to run the test suite with the node\n  code generator. The list of compatible code generators for each test\n  is provided in `testFamiliesData`.\n- Tasty.Rerun provides rudimentary incremental testing. The cache is in\n  the `.tasty-rerun-log` file, which is therefore added to `.gitignore`.\n\nThe previous Makefile in `test` has disappeared in favour of passing\narguments to the test program.\n\nNote that this commit disables testing because a compatibility\nlayer for `cabal test` must be implemented first. This is necessary\nbecause the test program requires external dependencies.\nHowever, you should be able to run the tests with `stack test`.","distinct":true,"url":"https://api.github.com/repos/zjhmale/Idris-dev/commits/54b94b9184064269a630c1183979e64ecc444b7f"},{"sha":"5186d6ce3ef531fb5c3a100688d7590b4197e095","author":{"name":"gpyh","email":"d904bdeff20015ad7fd81499648a7d5e0c75517d@gmail.com"},"message":"Hook the new test infrastructure to cabal\n\n- A test hook in `Setup.hs` allows using the new test infrastructure with\n  `cabal test`. Without it, cabal couldn't find the idris libraries.\n- Make rules related to testing now call `cabal test`.\n- The `test_timed` rule is removed because timings are given by default\n- We introduce the `test_update` rule to update the golden files\n- We introduce the `test_clean` rule to remove artifacts created when\n  running the test suite. This is far from perfect ;\n  a careful `git clean -f` should remove whatever is left\n- The TEST-JOBS variable specifies the number of parallel jobs to\n  the test program. By default, it relies on the Haskell RTS to find an\n  optimal number. Set to 1 to disable parallelism.\n- The TEST-ARGS variable can be used to pass arguments to the test\n  program.\n- Travis CI uses the new infrasctructure. It uses `travis_wait`\n  to prevent timeouts because cabal only prints the output when\n  the test suite is done running.","distinct":true,"url":"https://api.github.com/repos/zjhmale/Idris-dev/commits/5186d6ce3ef531fb5c3a100688d7590b4197e095"},{"sha":"48ae753fd2e5b841ee527dc12483f319b88fede9","author":{"name":"gpyh","email":"d904bdeff20015ad7fd81499648a7d5e0c75517d@gmail.com"},"message":"Document the new test infrastructure\n\nThe file `test/README.md` details everything.\nThe `CHANGELOG` has been updated.","distinct":true,"url":"https://api.github.com/repos/zjhmale/Idris-dev/commits/48ae753fd2e5b841ee527dc12483f319b88fede9"},{"sha":"3a3976bece0c4241edee857b5dee35917ca89fa8","author":{"name":"Edwin Brady","email":"c928bc23af0546b9627da03f5800c450bd33bde7@st-andrews.ac.uk"},"message":"Better pretty printing of case blocks\n\nThey should be bracketed as if they are an application. Also display\nnames as '_' if they are machine generated (e.g. bindings in do blocks)","distinct":true,"url":"https://api.github.com/repos/zjhmale/Idris-dev/commits/3a3976bece0c4241edee857b5dee35917ca89fa8"},{"sha":"ab1296fdb59c5aeb2d35f353121ba26efe8f4cdd","author":{"name":"Jan de Muijnck-Hughes","email":"b12f6d4f6f80d7d34658089661e60ffcdb5bab59@st-andrews.ac.uk"},"message":"Fix Deprecation warnings from Network API.\n\nSince v2.6.3 of Network, the API has been changed.","distinct":true,"url":"https://api.github.com/repos/zjhmale/Idris-dev/commits/ab1296fdb59c5aeb2d35f353121ba26efe8f4cdd"},{"sha":"8394c90e47bfbeec9f4e0c8bbdf3df0d427830a9","author":{"name":"Jan de Muijnck-Hughes","email":"b12f6d4f6f80d7d34658089661e60ffcdb5bab59@users.noreply.github.com"},"message":"Merge pull request #3290 from jfdm/fix-network-deprecations\n\nFix Deprecation warnings from Network API.","distinct":true,"url":"https://api.github.com/repos/zjhmale/Idris-dev/commits/8394c90e47bfbeec9f4e0c8bbdf3df0d427830a9"},{"sha":"0c8a486ab89c5364513c0c23a6f126a7c9368964","author":{"name":"Jan de Muijnck-Hughes","email":"b12f6d4f6f80d7d34658089661e60ffcdb5bab59@st-andrews.ac.uk"},"message":"Bumped Idris to LTS 6.9.","distinct":true,"url":"https://api.github.com/repos/zjhmale/Idris-dev/commits/0c8a486ab89c5364513c0c23a6f126a7c9368964"},{"sha":"9dcbdc9c82932e891ccfe2863c0f5ebd3b31cbf1","author":{"name":"Jan de Muijnck-Hughes","email":"b12f6d4f6f80d7d34658089661e60ffcdb5bab59@users.noreply.github.com"},"message":"Merge pull request #3231 from gpyh/tasty\n\nPorted the test infrastructure to Tasty","distinct":true,"url":"https://api.github.com/repos/zjhmale/Idris-dev/commits/9dcbdc9c82932e891ccfe2863c0f5ebd3b31cbf1"},{"sha":"6dffa49f99df72ac995bd1ba999a8f188386c587","author":{"name":"Jan de Muijnck-Hughes","email":"b12f6d4f6f80d7d34658089661e60ffcdb5bab59@users.noreply.github.com"},"message":"Merge pull request #3289 from jfdm/lts-haskell-6.9\n\nBumped Idris to LTS 6.9.","distinct":true,"url":"https://api.github.com/repos/zjhmale/Idris-dev/commits/6dffa49f99df72ac995bd1ba999a8f188386c587"},{"sha":"c2c416525de79f3aca4feb64018c382141476d00","author":{"name":"Niklas Larsson","email":"407b5ecd7b3f53bb1cca7f5fca9c7d6c46ab5b13@mm.st"},"message":"Fix testsuite regression on Windows.","distinct":true,"url":"https://api.github.com/repos/zjhmale/Idris-dev/commits/c2c416525de79f3aca4feb64018c382141476d00"},{"sha":"aa2d977742f71c5b0b70e30f6b1fbebd6c3fa0cc","author":{"name":"Niklas Larsson","email":"f00ad0a60710e0eb5b699b4c9fdbf02e147c6c43@gmail.com"},"message":"Merge pull request #3293 from melted/fix_testing\n\nFix testsuite regression on Windows.","distinct":true,"url":"https://api.github.com/repos/zjhmale/Idris-dev/commits/aa2d977742f71c5b0b70e30f6b1fbebd6c3fa0cc"},{"sha":"0e5a4764b3a7603a3f254c2fba75b1b0203ac2ba","author":{"name":"zjhmale","email":"918c784cd143529302534bc9fbf8ac1e5a238135@gmail.com"},"message":"use `Double` instead of `Float` in docs","distinct":true,"url":"https://api.github.com/repos/zjhmale/Idris-dev/commits/0e5a4764b3a7603a3f254c2fba75b1b0203ac2ba"}]}
{"actor":{"display_login":"zjhmale"}}