payload: {"push_id":3699323759,"size":7,"distinct_size":7,"ref":"refs/heads/master","head":"2bf079e63cd670b163e456cb570b57b5f030e88b","before":"fc5b382238d2475d7c364e1feca1f52382006d9e","commits":[{"sha":"dfee2fbbca32d302d08dfe6053e72781eacad7d6","author":{"name":"Frederik Ramcke","email":"3351ada6e2d754c2751f845e307a00285a165084@web.de"},"message":"Simplify dhall-lsp-server and reorganise its modules (#992)\n\n* Clean up dhall-lsp-server's Main.hs\r\n\r\nAlso adds haddock comments.\r\n\r\n* Remove TODO comment\r\n\r\nThe comment talks about adding a mechanism for protocol-level logging to\r\ndhall-lsp-server. Since the VSCode LSP implementation has this feature\r\nalready baked in on the client side, we don't have to implement it\r\nourselves.\r\n\r\n* Simplify dhall-lsp-server's infrastructure\r\n\r\nSo far we had a system where we set up the LSP message handlers to relay\r\nmessages to a separate dispatcher thread via a shared channel. Since our\r\nlanguage server is at the same time designed in a completely synchronous\r\nmanner, this complication turns out to be unnecessary.\r\n\r\n* Remove sample code\r\n\r\n* Fix unused variable warning\r\n\r\n* Reorganise dhall-lsp-server's module hierarchy\r\n\r\nPrefixes all modules with \"Dhall.LSP.\".\r\n\r\nPreviously:\r\n  Backend.Dhall.\r\n               .Diagnostics\r\n               .Formatting\r\n  LSP.\r\n     .Handlers\r\n     .Handlers.\r\n              .Diagnostics\r\n              .DocumentFormatting\r\n              .Server\r\n\r\nNow:\r\n  Dhall.LSP.\r\n           .Backend.\r\n                   .Diagnostics\r\n                   .Formatting\r\n           .Handlers\r\n           .Handlers.\r\n                    .Diagnostics\r\n                    .DocumentFormatting\r\n           .Server\r\n\r\n* Make dhall-lsp-server tests compile again\r\n\r\nThey still fail though!","distinct":true,"url":"https://api.github.com/repos/eta-lang/dhall-haskell/commits/dfee2fbbca32d302d08dfe6053e72781eacad7d6"},{"sha":"56264270e4b3b0c0df943621c6bcb181691cead2","author":{"name":"Javier Neira","email":"109a66e9551effaea45d8988401547fe7b88d1a0@gmail.com"},"message":"Another step in isolate yaml and prepare for HsYaml replacement (#993)","distinct":true,"url":"https://api.github.com/repos/eta-lang/dhall-haskell/commits/56264270e4b3b0c0df943621c6bcb181691cead2"},{"sha":"05f4d5cd1e9e70aa8d701e093b57b354ed0421dd","author":{"name":"Frederik Ramcke","email":"3351ada6e2d754c2751f845e307a00285a165084@web.de"},"message":"dhall-lsp-server: Use LSP VFS rather than disk IO (#994)\n\n* Remove dummy LSP handlers\r\n\r\n* Publish diagnostics directly\r\n\r\nSo far we were using haskell-lsp's diagnostics infrastructure.\r\nhaskell-lsp is geared towards plugin-based language servers like\r\nhaskell-ide-engine, which means that their approach to handling\r\ndiagnostics (on a per-plugin basis) doesn't really fit our use-case.\r\nThis commit changes our diagnostics implementation to send\r\nprotocol-level messages directly, rather than going through haskell-lsp.\r\n\r\n* Refactor diagnostics handler\r\n\r\nReduce clutter and clean up Dhall.LSP.Handlers.Diagnostics a bit.\r\n\r\n* Remove unused import\r\n\r\n* Don't flush diagnostics on file close\r\n\r\nThe LSP protocol does not expect (or require) us to flush diagnostics at\r\nany point. This change doesn't have any user-visible impact (since we\r\nrecompute diagnostics on file open anyway).\r\n\r\n* Use LSP VFS instead of disk IO\r\n\r\nRather than reading the files from disk each time, we now simply query\r\nhaskell-lsp's \"virtual file system\". This also allows us to check code\r\nbefore it has been saved (though we do not implement this).","distinct":true,"url":"https://api.github.com/repos/eta-lang/dhall-haskell/commits/05f4d5cd1e9e70aa8d701e093b57b354ed0421dd"},{"sha":"0919bafa7b0acd5d04ec62b38cbb0292e611ec1b","author":{"name":"Fabrizio Ferrai","email":"4bc807359064196b62993128d0b6b24a4c87058a@gmail.com"},"message":"Switch to native GitHub highlighting for .dhall (#995)\n\nSee https://github.com/dhall-lang/dhall-lang/pull/583","distinct":true,"url":"https://api.github.com/repos/eta-lang/dhall-haskell/commits/0919bafa7b0acd5d04ec62b38cbb0292e611ec1b"},{"sha":"6748d155843488b11cc4a92fc5ac3249d82a788a","author":{"name":"Gabriel Gonzalez","email":"d7d98fe41efda37f92c45d007b684573d8ce3969@gmail.com"},"message":"Fix `dhall-json` test failure (#997)\n\nFixes https://github.com/dhall-lang/dhall-haskell/issues/996\r\n\r\nThis enables the test suite for `dhall-json` and also ensures that\r\nall packages are built using the source distribution (to catch\r\nmissing `extra-files`)","distinct":true,"url":"https://api.github.com/repos/eta-lang/dhall-haskell/commits/6748d155843488b11cc4a92fc5ac3249d82a788a"},{"sha":"d77a9f4e43f475b2d22c0ff1fbb70bff130bb54c","author":{"name":"Gabriel Gonzalez","email":"d7d98fe41efda37f92c45d007b684573d8ce3969@gmail.com"},"message":"Restore `dhall-nix` to build against Hackage (#1000)\n\nNow that `hnix-0.6.1` is out `dhall-nix` can be built against recent\r\nversions of Hackage packages and will be uploaded as part of the\r\nnext release","distinct":true,"url":"https://api.github.com/repos/eta-lang/dhall-haskell/commits/d77a9f4e43f475b2d22c0ff1fbb70bff130bb54c"},{"sha":"2bf079e63cd670b163e456cb570b57b5f030e88b","author":{"name":"Gabriel Gonzalez","email":"d7d98fe41efda37f92c45d007b684573d8ce3969@gmail.com"},"message":"Mention Docker Hub containers in README (#999)","distinct":true,"url":"https://api.github.com/repos/eta-lang/dhall-haskell/commits/2bf079e63cd670b163e456cb570b57b5f030e88b"}]}
other: {"actor":{"display_login":"jneira"}}