diff --git a/cabal.project b/cabal.project index c6b74a36a..e56cd6fdf 100644 --- a/cabal.project +++ b/cabal.project @@ -10,3 +10,8 @@ tests: True benchmarks: True test-show-details: direct haddock-quickjump: True + +constraints: some == 1.0.1, + dependent-sum == 0.7.1.0 + +max-backjumps: 10000 \ No newline at end of file diff --git a/stack-8.8.1.yaml b/stack-8.10.2.yaml similarity index 70% rename from stack-8.8.1.yaml rename to stack-8.10.2.yaml index 9eb0c1c80..b0f38f932 100644 --- a/stack-8.8.1.yaml +++ b/stack-8.10.2.yaml @@ -1,4 +1,4 @@ -resolver: nightly-2020-01-21 # last GHC 8.8.1 +resolver: nightly-2020-12-09 packages: - ./lsp @@ -7,12 +7,9 @@ packages: extra-deps: - dependent-map-0.4.0.0@sha256:ca2b131046f4340a1c35d138c5a003fe4a5be96b14efc26291ed35fd08c62221,1657 +- dependent-sum-0.7.1.0@sha256:5599aa89637db434431b1dd3fa7c34bc3d565ee44f0519bfbc877be1927c2531,2068 - dependent-sum-template-0.1.0.3@sha256:0bbbacdfbd3abf2a15aaf0cf2c27e5bdd159b519441fec39e1e6f2f54424adde,1682 - constraints-extras-0.3.0.2@sha256:013b8d0392582c6ca068e226718a4fe8be8e22321cc0634f6115505bf377ad26,1853 -- dependent-sum-0.7.1.0@sha256:5599aa89637db434431b1dd3fa7c34bc3d565ee44f0519bfbc877be1927c2531,2068 -- unliftio-core-0.2.0.1@sha256:9b3e44ea9aacacbfc35b3b54015af450091916ac3618a41868ebf6546977659a,1082 -- github: bubba/lsp-test - commit: e251176a4b2ff4dead7846fe5d0a4e1dbea69fd4 flags: {} extra-package-dbs: [] diff --git a/stack-8.10.3.yaml b/stack-8.10.3.yaml new file mode 100644 index 000000000..656d00ef6 --- /dev/null +++ b/stack-8.10.3.yaml @@ -0,0 +1,18 @@ +resolver: lts-17.2 # GHC 8.10.3 + +packages: +- ./lsp +- ./lsp-types +- ./lsp-test + +extra-deps: +- dependent-map-0.4.0.0@sha256:ca2b131046f4340a1c35d138c5a003fe4a5be96b14efc26291ed35fd08c62221,1657 +- dependent-sum-0.7.1.0@sha256:5599aa89637db434431b1dd3fa7c34bc3d565ee44f0519bfbc877be1927c2531,2068 +- dependent-sum-template-0.1.0.3@sha256:0bbbacdfbd3abf2a15aaf0cf2c27e5bdd159b519441fec39e1e6f2f54424adde,1682 +- constraints-extras-0.3.0.2@sha256:013b8d0392582c6ca068e226718a4fe8be8e22321cc0634f6115505bf377ad26,1853 +- some-1.0.1@sha256:26e5bab7276f48b25ea8660d3fd1166c0f20fd497dac879a40f408e23211f93e,2055 + +flags: {} +extra-package-dbs: [] +nix: + packages: [icu] diff --git a/stack-8.10.4.yaml b/stack-8.10.4.yaml new file mode 100644 index 000000000..e46220b90 --- /dev/null +++ b/stack-8.10.4.yaml @@ -0,0 +1,18 @@ +resolver: lts-17.9 # GHC 8.10.4 + +packages: +- ./lsp +- ./lsp-types +- ./lsp-test + +extra-deps: +- dependent-map-0.4.0.0@sha256:ca2b131046f4340a1c35d138c5a003fe4a5be96b14efc26291ed35fd08c62221,1657 +- dependent-sum-0.7.1.0@sha256:5599aa89637db434431b1dd3fa7c34bc3d565ee44f0519bfbc877be1927c2531,2068 +- dependent-sum-template-0.1.0.3@sha256:0bbbacdfbd3abf2a15aaf0cf2c27e5bdd159b519441fec39e1e6f2f54424adde,1682 +- constraints-extras-0.3.0.2@sha256:013b8d0392582c6ca068e226718a4fe8be8e22321cc0634f6115505bf377ad26,1853 +- some-1.0.1@sha256:26e5bab7276f48b25ea8660d3fd1166c0f20fd497dac879a40f408e23211f93e,2055 + +flags: {} +extra-package-dbs: [] +nix: + packages: [icu] diff --git a/stack-8.4.2.yaml b/stack-8.4.2.yaml deleted file mode 100644 index 0a30953af..000000000 --- a/stack-8.4.2.yaml +++ /dev/null @@ -1,24 +0,0 @@ -resolver: nightly-2018-05-30 # last nightly for GHC 8.4.2 - -packages: -- ./lsp -- ./lsp-types -- ./lsp-test - -extra-deps: -- rope-utf16-splay-0.3.1.0 -- dependent-sum-0.7.1.0@sha256:5599aa89637db434431b1dd3fa7c34bc3d565ee44f0519bfbc877be1927c2531,2068 -- dependent-sum-template-0.1.0.3 -- some-1.0.1@sha256:26e5bab7276f48b25ea8660d3fd1166c0f20fd497dac879a40f408e23211f93e,2055 -- stm-2.5.0.0@sha256:c238075f9f0711cd6a78eab6001b3e218cdaa745d6377bf83cc21e58ceec2ea1,2100 -- transformers-0.5.6.2@sha256:6c959d14430f4deffb99579ba019de07c3d852a2122b6f449344386c7d75ff1d,3172 -- unliftio-core-0.2.0.1@sha256:9b3e44ea9aacacbfc35b3b54015af450091916ac3618a41868ebf6546977659a,1082 -- constraints-extras-0.3.0.2@sha256:013b8d0392582c6ca068e226718a4fe8be8e22321cc0634f6115505bf377ad26,1853 -- async-2.2.2 -- StateVar-1.2.1 -- contravariant-1.5.3 - -flags: {} -extra-package-dbs: [] -nix: - packages: [icu] diff --git a/stack-8.4.3.yaml b/stack-8.4.3.yaml deleted file mode 100644 index 64e98ea02..000000000 --- a/stack-8.4.3.yaml +++ /dev/null @@ -1,24 +0,0 @@ -resolver: lts-12.5 # GHC 8.4.3 - -packages: -- ./lsp -- ./lsp-types -- ./lsp-test - -extra-deps: -- rope-utf16-splay-0.3.1.0 -- dependent-sum-0.7.1.0@sha256:5599aa89637db434431b1dd3fa7c34bc3d565ee44f0519bfbc877be1927c2531,2068 -- dependent-sum-template-0.1.0.3 -- some-1.0.1@sha256:26e5bab7276f48b25ea8660d3fd1166c0f20fd497dac879a40f408e23211f93e,2055 -- stm-2.5.0.0@sha256:c238075f9f0711cd6a78eab6001b3e218cdaa745d6377bf83cc21e58ceec2ea1,2100 -- transformers-0.5.6.2@sha256:6c959d14430f4deffb99579ba019de07c3d852a2122b6f449344386c7d75ff1d,3172 -- unliftio-core-0.2.0.1@sha256:9b3e44ea9aacacbfc35b3b54015af450091916ac3618a41868ebf6546977659a,1082 -- constraints-extras-0.3.0.2@sha256:013b8d0392582c6ca068e226718a4fe8be8e22321cc0634f6115505bf377ad26,1853 -- async-2.2.2 -- StateVar-1.2.1 -- contravariant-1.5.3 - -flags: {} -extra-package-dbs: [] -nix: - packages: [icu] diff --git a/stack-8.4.4.yaml b/stack-8.4.4.yaml index 61d0f47ec..fd5b6db7c 100644 --- a/stack-8.4.4.yaml +++ b/stack-8.4.4.yaml @@ -6,18 +6,45 @@ packages: - ./lsp-test extra-deps: -- rope-utf16-splay-0.3.1.0 -- some-1.0.1@sha256:26e5bab7276f48b25ea8660d3fd1166c0f20fd497dac879a40f408e23211f93e,2055 -- parser-combinators-1.2.1@sha256:16c3490e007ec10b1255a2b36fb483d000156d555269107131241d9e0fa96412,1788 -- github: bubba/lsp-test - commit: e251176a4b2ff4dead7846fe5d0a4e1dbea69fd4 +- these-1.1.1.1 +- aeson-1.5.6.0 +- resourcet-1.2.4.2 +- void-0.7.3 - dependent-sum-0.7.1.0@sha256:5599aa89637db434431b1dd3fa7c34bc3d565ee44f0519bfbc877be1927c2531,2068 -- dependent-sum-template-0.1.0.3 - constraints-extras-0.3.0.2@sha256:013b8d0392582c6ca068e226718a4fe8be8e22321cc0634f6115505bf377ad26,1853 -- stm-2.5.0.0@sha256:c238075f9f0711cd6a78eab6001b3e218cdaa745d6377bf83cc21e58ceec2ea1,2100 -- transformers-0.5.6.2@sha256:6c959d14430f4deffb99579ba019de07c3d852a2122b6f449344386c7d75ff1d,3172 +- parser-combinators-1.2.1 +- rope-utf16-splay-0.3.2.0@sha256:ed28b55b4fe3788515e619d700b79983653426e97e146793374ea1f3d2af2393,2029 +- some-1.0.1@sha256:26e5bab7276f48b25ea8660d3fd1166c0f20fd497dac879a40f408e23211f93e,2055 - unliftio-core-0.2.0.1@sha256:9b3e44ea9aacacbfc35b3b54015af450091916ac3618a41868ebf6546977659a,1082 +- transformers-0.5.6.2@sha256:6c959d14430f4deffb99579ba019de07c3d852a2122b6f449344386c7d75ff1d,3172 +- stm-2.5.0.0@sha256:c238075f9f0711cd6a78eab6001b3e218cdaa745d6377bf83cc21e58ceec2ea1,2100 +- dependent-sum-template-0.1.0.3 +- dependent-map-0.4.0.0@sha256:ca2b131046f4340a1c35d138c5a003fe4a5be96b14efc26291ed35fd08c62221,1657 + +- assoc-1.0.2@sha256:a824e4f615469a27ad949dbf4907ba258bd6b459deebec00524c7bcb3f65cc9f,1205 +- data-fix-0.3.1@sha256:7aee2c0633632479cef93c8000befd5bc950ba7c329d69e918ca520944164e27,1645 +- primitive-0.7.1.0@sha256:f6357d5720c1c665096c3e011467daf443198b786a708d2ff926958a24d508d4,2728 +- strict-0.4.0.1@sha256:08cf72ad570fddfe3b3424117bf20a303a1fb21047b40c1d6c8004c0e3e02a0b,4124 +- tagged-0.8.6.1@sha256:98e446479bd3fe5bdc5fa63fec2a2f6998e1bb8cb6db1dee611716f588b3ab28,2770 +- time-compat-1.9.5@sha256:a586bd5a59b47ea0c9eafc55c6936ede11126f4a6e619d6d7aeefee73c43d9b8,4954 +- unordered-containers-0.2.13.0@sha256:6310c636f92ed4908fdd0de582b6be31c2851c7b5f2ec14e9f416eb94df7a078,4978 +- base-orphans-0.8.4@sha256:9a70dc95761ab9a9d49a038a4599b7b7945d486d80ed1678f347445bc336f3e0,3149 +- bifunctors-5.5.10@sha256:52ae8b959de7bb2d5ec38750b9bc2782c90b5bf48805d635eb6ac0cfeb5b1bd6,3738 +- comonad-5.0.8@sha256:a3a140be7a21d6ba16bf9102bf4c79455ff3213679311587bac45ba0723c8d7a,3492 +- th-abstraction-0.4.2.0@sha256:2c754cd15370f8c59c8e6c37d44428a78d0b4afc94e13b3958a1a50cd16f6e84,2124 +- indexed-traversable-0.1.1@sha256:e330ec1ab336ee2fb1eff117ebe3480d1663396fecd981f185b7123dc7941ae1,2469 +- invariant-0.5.4 +- lens-5.0.1 +- free-5.1.6@sha256:8289b615eeeedd0b95ae956f0c5ae775e35bbd16588550209ce5551af19161a6,4895 +- indexed-traversable-instances-0.1@sha256:3aaf97040001bbe583e29c2b9c7d41660df265e6565a0d2ac09a3ed5b8bc21be,2874 +- vector-algorithms-0.8.0.4 +- exceptions-0.10.4@sha256:d2546046d7ba4b460d3bc7fd269cd2c52d0b7fb3cfecc038715dd0881b78a484,2796 +- profunctors-5.6.2@sha256:4db306297d827cf65a32d9124d6f1a23105479ebb1988783006578bc5d4209da,2377 +- vector-0.12.2.0 +- contravariant-1.5.3@sha256:e59a7742e725f94fc6578e3593cd3f6d4e3d46a9510c3a782e5fe5e5f238e3ce,3013 +- semigroupoids-5.3.5@sha256:5ccdfc9937718901b2c4a6829381bc62ebd1368945f89b4afe3ec5d5beae6a12,7221 +- StateVar-1.2.1@sha256:b8bea664120dc78f5c15d9b8c0947d51dbc58a0b63ee49971fa7caac9f3e0845,1642 flags: {} extra-package-dbs: [] nix: diff --git a/stack-8.6.4.yaml b/stack-8.6.4.yaml index 934d7f8de..3ce4dcfb0 100644 --- a/stack-8.6.4.yaml +++ b/stack-8.6.4.yaml @@ -6,15 +6,17 @@ packages: - ./lsp-test extra-deps: -- rope-utf16-splay-0.3.1.0 -- constraints-extras-0.3.0.2@sha256:013b8d0392582c6ca068e226718a4fe8be8e22321cc0634f6115505bf377ad26,1853 +- constraints-extras-0.3.1.0@sha256:c70fcf437e1d640cfd50a8eda1db47a64e49c96857e08fd0d8c438327d908ac1,1846 - dependent-map-0.4.0.0@sha256:ca2b131046f4340a1c35d138c5a003fe4a5be96b14efc26291ed35fd08c62221,1657 +- dependent-sum-0.7.1.0@sha256:0e419237f5b86da3659772afff9cab355c0f8d5b3fdb15a5b30e673d8dc83941,2147 - dependent-sum-template-0.1.0.3@sha256:0bbbacdfbd3abf2a15aaf0cf2c27e5bdd159b519441fec39e1e6f2f54424adde,1682 -- dependent-sum-0.7.1.0@sha256:5599aa89637db434431b1dd3fa7c34bc3d565ee44f0519bfbc877be1927c2531,2068 -- some-1.0.1@sha256:26e5bab7276f48b25ea8660d3fd1166c0f20fd497dac879a40f408e23211f93e,2055 +- parser-combinators-1.2.1 +- resourcet-1.2.4.2 +- rope-utf16-splay-0.3.2.0@sha256:ed28b55b4fe3788515e619d700b79983653426e97e146793374ea1f3d2af2393,2029 +- some-1.0.2@sha256:3d460998df32ad7b93bf55657aeae988d97070155e71718b4bc75d0997ce9d62,2244 - unliftio-core-0.2.0.1@sha256:9b3e44ea9aacacbfc35b3b54015af450091916ac3618a41868ebf6546977659a,1082 flags: {} extra-package-dbs: [] nix: - packages: [icu] + packages: [icu] \ No newline at end of file diff --git a/stack-8.6.5.yaml b/stack-8.6.5.yaml index 3593afd8d..ea5de0261 100644 --- a/stack-8.6.5.yaml +++ b/stack-8.6.5.yaml @@ -1,4 +1,4 @@ -resolver: lts-14.11 # GHC 8.6.5 +resolver: lts-14.27 # GHC 8.6.5 packages: - ./lsp @@ -6,15 +6,14 @@ packages: - ./lsp-test extra-deps: -- some-1.0.1@sha256:26e5bab7276f48b25ea8660d3fd1166c0f20fd497dac879a40f408e23211f93e,2055 -- parser-combinators-1.2.1@sha256:16c3490e007ec10b1255a2b36fb483d000156d555269107131241d9e0fa96412,1788 -- dependent-map-0.4.0.0@sha256:ca2b131046f4340a1c35d138c5a003fe4a5be96b14efc26291ed35fd08c62221,1657 -- dependent-sum-template-0.1.0.3@sha256:0bbbacdfbd3abf2a15aaf0cf2c27e5bdd159b519441fec39e1e6f2f54424adde,1682 - constraints-extras-0.3.0.2@sha256:013b8d0392582c6ca068e226718a4fe8be8e22321cc0634f6115505bf377ad26,1853 +- dependent-map-0.4.0.0@sha256:ca2b131046f4340a1c35d138c5a003fe4a5be96b14efc26291ed35fd08c62221,1657 - dependent-sum-0.7.1.0@sha256:5599aa89637db434431b1dd3fa7c34bc3d565ee44f0519bfbc877be1927c2531,2068 +- dependent-sum-template-0.1.0.3@sha256:0bbbacdfbd3abf2a15aaf0cf2c27e5bdd159b519441fec39e1e6f2f54424adde,1682 +- parser-combinators-1.2.1@sha256:16c3490e007ec10b1255a2b36fb483d000156d555269107131241d9e0fa96412,1788 +- resourcet-1.2.3 +- some-1.0.1@sha256:26e5bab7276f48b25ea8660d3fd1166c0f20fd497dac879a40f408e23211f93e,2055 - unliftio-core-0.2.0.1@sha256:9b3e44ea9aacacbfc35b3b54015af450091916ac3618a41868ebf6546977659a,1082 -- github: bubba/lsp-test - commit: e251176a4b2ff4dead7846fe5d0a4e1dbea69fd4 flags: {} extra-package-dbs: [] diff --git a/stack-8.8.2.yaml b/stack-8.8.3.yaml similarity index 85% rename from stack-8.8.2.yaml rename to stack-8.8.3.yaml index 14eeb736a..e2cfa11c4 100644 --- a/stack-8.8.2.yaml +++ b/stack-8.8.3.yaml @@ -1,4 +1,4 @@ -resolver: nightly-2020-01-31 +resolver: lts-16.11 # GHC 8.8.3 packages: - ./lsp @@ -7,12 +7,11 @@ packages: extra-deps: - dependent-map-0.4.0.0@sha256:ca2b131046f4340a1c35d138c5a003fe4a5be96b14efc26291ed35fd08c62221,1657 -- dependent-sum-template-0.1.0.3@sha256:0bbbacdfbd3abf2a15aaf0cf2c27e5bdd159b519441fec39e1e6f2f54424adde,1682 -- constraints-extras-0.3.0.2@sha256:013b8d0392582c6ca068e226718a4fe8be8e22321cc0634f6115505bf377ad26,1853 - dependent-sum-0.7.1.0@sha256:5599aa89637db434431b1dd3fa7c34bc3d565ee44f0519bfbc877be1927c2531,2068 +- dependent-sum-template-0.1.0.3@sha256:0bbbacdfbd3abf2a15aaf0cf2c27e5bdd159b519441fec39e1e6f2f54424adde,1682 - unliftio-core-0.2.0.1@sha256:9b3e44ea9aacacbfc35b3b54015af450091916ac3618a41868ebf6546977659a,1082 -- github: bubba/lsp-test - commit: e251176a4b2ff4dead7846fe5d0a4e1dbea69fd4 +- constraints-extras-0.3.0.2@sha256:013b8d0392582c6ca068e226718a4fe8be8e22321cc0634f6115505bf377ad26,1853 + flags: {} extra-package-dbs: [] diff --git a/stack-8.8.4.yaml b/stack-8.8.4.yaml new file mode 100644 index 000000000..c6e46f39a --- /dev/null +++ b/stack-8.8.4.yaml @@ -0,0 +1,19 @@ +resolver: lts-16.31 # GHC 8.8.4 + +packages: +- ./lsp +- ./lsp-types +- ./lsp-test + +extra-deps: +- some-1.0.1@sha256:26e5bab7276f48b25ea8660d3fd1166c0f20fd497dac879a40f408e23211f93e,2055 +- dependent-map-0.4.0.0@sha256:ca2b131046f4340a1c35d138c5a003fe4a5be96b14efc26291ed35fd08c62221,1657 +- dependent-sum-0.7.1.0@sha256:0e419237f5b86da3659772afff9cab355c0f8d5b3fdb15a5b30e673d8dc83941,2147 +- dependent-sum-template-0.1.0.3@sha256:0bbbacdfbd3abf2a15aaf0cf2c27e5bdd159b519441fec39e1e6f2f54424adde,1682 +- unliftio-core-0.2.0.1@sha256:9b3e44ea9aacacbfc35b3b54015af450091916ac3618a41868ebf6546977659a,1082 +- constraints-extras-0.3.1.0@sha256:12016ebb91ad5ed2c82bf7e48c6bd6947d164d33c9dca5ac3965de1bb6c780c0,1777 + +flags: {} +extra-package-dbs: [] +nix: + packages: [icu]