From b5beb0e94d5df15b87c4659a8013b074f2e68510 Mon Sep 17 00:00:00 2001 From: Arya Irani Date: Sat, 20 May 2023 16:37:08 -0400 Subject: [PATCH 1/9] merge old lts bump into new trunk --- lib/unison-prelude/src/Unison/Prelude.hs | 2 +- parser-typechecker/package.yaml | 2 +- .../src/Unison/PatternMatchCoverage/Solve.hs | 1 + .../unison-parser-typechecker.cabal | 4 +- stack.yaml | 36 +--- stack.yaml.lock | 158 ++++-------------- unison-cli/package.yaml | 6 +- unison-cli/src/Unison/CommandLine/Welcome.hs | 2 +- unison-cli/src/Unison/LSP/Types.hs | 4 +- unison-cli/unison-cli.cabal | 30 ++-- .../src/Unison/Hashing/V2/Term.hs | 2 - unison-share-api/package.yaml | 2 +- unison-share-api/src/Unison/Server/Doc.hs | 1 + unison-share-api/unison-share-api.cabal | 2 +- .../src/Unison/Share/API/Hash.hs | 6 +- .../src/Unison/Share/API/Projects.hs | 7 +- 16 files changed, 79 insertions(+), 186 deletions(-) diff --git a/lib/unison-prelude/src/Unison/Prelude.hs b/lib/unison-prelude/src/Unison/Prelude.hs index 6c308af0b2..dc2f666c56 100644 --- a/lib/unison-prelude/src/Unison/Prelude.hs +++ b/lib/unison-prelude/src/Unison/Prelude.hs @@ -47,7 +47,7 @@ import Data.Coerce as X (Coercible, coerce) import Data.Either as X import Data.Either.Combinators as X (mapLeft, maybeToRight) import Data.Either.Extra (eitherToMaybe, maybeToEither) -import Data.Foldable as X (asum, fold, foldl', for_, toList, traverse_) +import Data.Foldable as X (fold, foldl', for_, toList, traverse_) import Data.Function as X ((&)) import Data.Functor as X import Data.Functor.Identity as X diff --git a/parser-typechecker/package.yaml b/parser-typechecker/package.yaml index f4bf2e6f79..a969247a35 100644 --- a/parser-typechecker/package.yaml +++ b/parser-typechecker/package.yaml @@ -101,7 +101,7 @@ dependencies: - stm - tagged - temporary - - terminal-size + - terminal-size >= 0.3.3 - text - text-short - these diff --git a/parser-typechecker/src/Unison/PatternMatchCoverage/Solve.hs b/parser-typechecker/src/Unison/PatternMatchCoverage/Solve.hs index 5c608260dc..e1dd71366a 100644 --- a/parser-typechecker/src/Unison/PatternMatchCoverage/Solve.hs +++ b/parser-typechecker/src/Unison/PatternMatchCoverage/Solve.hs @@ -1,4 +1,5 @@ {-# LANGUAGE DataKinds #-} +{-# OPTIONS_GHC -Wno-incomplete-uni-patterns #-} module Unison.PatternMatchCoverage.Solve ( uncoverAnnotate, diff --git a/parser-typechecker/unison-parser-typechecker.cabal b/parser-typechecker/unison-parser-typechecker.cabal index a94b19843e..5d8ce99f01 100644 --- a/parser-typechecker/unison-parser-typechecker.cabal +++ b/parser-typechecker/unison-parser-typechecker.cabal @@ -291,7 +291,7 @@ library , stm , tagged , temporary - , terminal-size + , terminal-size >=0.3.3 , text , text-short , these @@ -482,7 +482,7 @@ test-suite parser-typechecker-tests , stm , tagged , temporary - , terminal-size + , terminal-size >=0.3.3 , text , text-short , these diff --git a/stack.yaml b/stack.yaml index 463c68f885..eadbec7cc8 100644 --- a/stack.yaml +++ b/stack.yaml @@ -2,8 +2,6 @@ flags: haskeline: terminfo: false -allow-newer: true # async package has needlessly strict upper bound - allow-different-user: true build: @@ -41,14 +39,11 @@ packages: - unison-syntax - yaks/easytest -#compiler-check: match-exact -resolver: lts-18.28 +resolver: lts-20.21 extra-deps: - github: unisonweb/configurator commit: e47e9e9fe1f576f8c835183b9def52d73c01327a -- github: unisonweb/shellmet - commit: 2fd348592c8f51bb4c0ca6ba4bc8e38668913746 - github: awkward-squad/ki commit: 563e96238dfe392dccf68d93953c8f30fd53bec8 subdirs: @@ -57,30 +52,15 @@ extra-deps: # If changing the haskeline dependency, please ensure color renders properly in a # Windows terminal. # https://github.com/judah/haskeline/pull/126 -- github: judah/haskeline - commit: d6c2643b0d5c19be7e440615c6f84d603d4bc648 +- github: unisonweb/haskeline + commit: 9275eea7982dabbf47be2ba078ced669ae7ef3d5 + +# not in lts-20.21 +- fuzzyfind-3.0.1 - guid-0.1.0@sha256:a7c975be473f6f142d5cc1b39bc807a99043d20b1bb0873fdfe7a3ce84d2faf1,1078 -- sandi-0.5@sha256:b278d072ca717706ea38f9bd646e023f7f2576a778fb43565b434f93638849aa,3010 -- fuzzyfind-3.0.0@sha256:d79a5d3ed194dd436c6b839bf187211d880cf773b2febaca456e5ccf93f5ac65,1814 -- monad-validate-1.2.0.0@sha256:9850f408431098b28806dd464b6825a88a0b56c84f380d7fe0454c1df9d6f881,3505 -- NanoID-3.1.0@sha256:9118ab00e8650b5a56a10c90295d357eb77a8057a598b7e56dfedc9c6d53c77d,1524 -# 2.3.27 bundles sqlite >=3.35.0, needed for 'delete returning' -- direct-sqlite-2.3.27 -# not in lts-18.13 -- recover-rtti-0.4.0.0@sha256:2ce1e031ec0e34d736fa45f0149bbd55026f614939dc90ffd14a9c5d24093ff4,4423 - lock-file-0.7.0.0@sha256:3ad84b5e454145e1d928063b56abb96db24a99a21b493989520e58fa0ab37b00,4484 -- http-client-0.7.11 -- lsp-1.5.0.0 -- lsp-types-1.5.0.0 -- text-rope-0.2@sha256:53b9b4cef0b278b9c591cd4ca76543acacf64c9d1bfbc06d0d9a88960446d9a7,2087 -- co-log-core-0.3.1.0 -# lts 18.28 provides 0.3.2.1 but we need at least 0.3.3 -- terminal-size-0.3.3 -# lts 18.28 provides 3.1.1.1 but we need at least 3.1.2.7 -- network-3.1.2.7 -# 0.4.18.0 is in lts-18.28, but 0.4.18.2 adds generic -# implementations of ToRow and FromRow -- sqlite-simple-0.4.18.2 +- monad-validate-1.2.0.0@sha256:9850f408431098b28806dd464b6825a88a0b56c84f380d7fe0454c1df9d6f881,3505 +- recover-rtti-0.4.2@sha256:c179a303921126d8d782264e14f386c96e54a270df74be002e4c4ec3c8c7aebd,4529 ghc-options: # All packages diff --git a/stack.yaml.lock b/stack.yaml.lock index dc9152c5ff..9475fba1e2 100644 --- a/stack.yaml.lock +++ b/stack.yaml.lock @@ -5,166 +5,78 @@ packages: - completed: - size: 15989 - url: https://github.com/unisonweb/configurator/archive/e47e9e9fe1f576f8c835183b9def52d73c01327a.tar.gz name: configurator - version: 0.3.0.0 - sha256: d4fd87fb7bfc5d8e9fbc3e4ee7302c6b1500cdc00fdb9b659d0f4849b6ebe2d5 pantry-tree: - size: 955 sha256: 90547cd983fd15ebdc803e057d3ef8735fe93a75e29a00f8a74eadc13ee0f6e9 + size: 955 + sha256: d4fd87fb7bfc5d8e9fbc3e4ee7302c6b1500cdc00fdb9b659d0f4849b6ebe2d5 + size: 15989 + url: https://github.com/unisonweb/configurator/archive/e47e9e9fe1f576f8c835183b9def52d73c01327a.tar.gz + version: 0.3.0.0 original: url: https://github.com/unisonweb/configurator/archive/e47e9e9fe1f576f8c835183b9def52d73c01327a.tar.gz - completed: - size: 10460 - url: https://github.com/unisonweb/shellmet/archive/2fd348592c8f51bb4c0ca6ba4bc8e38668913746.tar.gz - name: shellmet - version: 0.0.4.0 - sha256: 6e642163070a217cc3363bdbefde571ff6c1878f4fc3d92e9c910db7fa88eaf2 + name: ki pantry-tree: - size: 654 - sha256: 05a169a7a6b68100630e885054dc1821d31cd06571b0317ec90c75ac2c41aeb7 - original: - url: https://github.com/unisonweb/shellmet/archive/2fd348592c8f51bb4c0ca6ba4bc8e38668913746.tar.gz -- completed: + sha256: c63220c438c076818e09061b117c56055e154f6abb66ea9bc44a3900fcabd654 + size: 704 + sha256: a45eb3dbe7333c108aef4afce7f763c7661919b09641ef9d241c7ca4a78bf735 size: 15840 subdir: ki url: https://github.com/awkward-squad/ki/archive/563e96238dfe392dccf68d93953c8f30fd53bec8.tar.gz - name: ki version: 1.0.0 - sha256: a45eb3dbe7333c108aef4afce7f763c7661919b09641ef9d241c7ca4a78bf735 - pantry-tree: - size: 704 - sha256: c63220c438c076818e09061b117c56055e154f6abb66ea9bc44a3900fcabd654 original: subdir: ki url: https://github.com/awkward-squad/ki/archive/563e96238dfe392dccf68d93953c8f30fd53bec8.tar.gz - completed: - size: 74363 - url: https://github.com/judah/haskeline/archive/d6c2643b0d5c19be7e440615c6f84d603d4bc648.tar.gz name: haskeline - version: 0.8.0.0 - sha256: ef827ea5e8581cd68da9600660b2e584877d4fcdcf1cd2eb4652e0e51d817465 pantry-tree: + sha256: c14fd8b9ad5e9fcf629e50affe26e655d6c4d18c3f77169995b857b5fd32ca44 size: 3769 - sha256: e30301b5389893948e25d39978d09948b11479b5b2a3517b978466fde548fc48 - original: - url: https://github.com/judah/haskeline/archive/d6c2643b0d5c19be7e440615c6f84d603d4bc648.tar.gz -- completed: - hackage: guid-0.1.0@sha256:a7c975be473f6f142d5cc1b39bc807a99043d20b1bb0873fdfe7a3ce84d2faf1,1078 - pantry-tree: - size: 364 - sha256: a33838b7b1c54f6ac3e1b436b25674948713a4189658e4d82e639b9a689bc90d - original: - hackage: guid-0.1.0@sha256:a7c975be473f6f142d5cc1b39bc807a99043d20b1bb0873fdfe7a3ce84d2faf1,1078 -- completed: - hackage: sandi-0.5@sha256:b278d072ca717706ea38f9bd646e023f7f2576a778fb43565b434f93638849aa,3010 - pantry-tree: - size: 3455 - sha256: 5ca7ce4bc22ab9d4427bb149b5e283ab9db43375df14f7131fdfd48775f36350 + sha256: 3997e23bacea83e1e6b94098f74378fa54baf99755a0d834d9008bfe7071ed58 + size: 74277 + url: https://github.com/unisonweb/haskeline/archive/9275eea7982dabbf47be2ba078ced669ae7ef3d5.tar.gz + version: 0.8.0.0 original: - hackage: sandi-0.5@sha256:b278d072ca717706ea38f9bd646e023f7f2576a778fb43565b434f93638849aa,3010 + url: https://github.com/unisonweb/haskeline/archive/9275eea7982dabbf47be2ba078ced669ae7ef3d5.tar.gz - completed: - hackage: fuzzyfind-3.0.0@sha256:d79a5d3ed194dd436c6b839bf187211d880cf773b2febaca456e5ccf93f5ac65,1814 + hackage: fuzzyfind-3.0.1@sha256:78f89c1d79adf0a15fa2e57c693d42b4765ccfbbe380d0c9d7da6bff9f124f85,1823 pantry-tree: + sha256: 46f001ec2725d3172161c993bc8fbcf0514e3ba736f868fe2c2655e1ff49dad1 size: 542 - sha256: 0e6c6d4f89083c8385de5adc4f36ad01b2b0ff45261b47f7d90d919969c8b5ed - original: - hackage: fuzzyfind-3.0.0@sha256:d79a5d3ed194dd436c6b839bf187211d880cf773b2febaca456e5ccf93f5ac65,1814 -- completed: - hackage: monad-validate-1.2.0.0@sha256:9850f408431098b28806dd464b6825a88a0b56c84f380d7fe0454c1df9d6f881,3505 - pantry-tree: - size: 713 - sha256: 8e049bd12ce2bd470909578f2ee8eb80b89d5ff88860afa30e29dd4eafecfa3e - original: - hackage: monad-validate-1.2.0.0@sha256:9850f408431098b28806dd464b6825a88a0b56c84f380d7fe0454c1df9d6f881,3505 -- completed: - hackage: NanoID-3.1.0@sha256:9118ab00e8650b5a56a10c90295d357eb77a8057a598b7e56dfedc9c6d53c77d,1524 - pantry-tree: - size: 363 - sha256: d33d603a2f0d1a220ff0d5e7edb6273def89120e6bb958c2d836cae89e788334 original: - hackage: NanoID-3.1.0@sha256:9118ab00e8650b5a56a10c90295d357eb77a8057a598b7e56dfedc9c6d53c77d,1524 + hackage: fuzzyfind-3.0.1 - completed: - hackage: direct-sqlite-2.3.27@sha256:94207d3018da3bda84bc6ce00d2c0236ced7edb37afbd726ed2a0bfa236e149b,3771 - pantry-tree: - size: 770 - sha256: c7f5afe70db567e2cf9f3119b49f4b402705e6bd08ed8ba98747a64a8a0bef41 - original: - hackage: direct-sqlite-2.3.27 -- completed: - hackage: recover-rtti-0.4.0.0@sha256:2ce1e031ec0e34d736fa45f0149bbd55026f614939dc90ffd14a9c5d24093ff4,4423 + hackage: guid-0.1.0@sha256:a7c975be473f6f142d5cc1b39bc807a99043d20b1bb0873fdfe7a3ce84d2faf1,1078 pantry-tree: - size: 2410 - sha256: d87d84c3f760c1b2540f74e4a301cd4e8294df891e8e4262e8bdd313bc8e0bfd + sha256: a33838b7b1c54f6ac3e1b436b25674948713a4189658e4d82e639b9a689bc90d + size: 364 original: - hackage: recover-rtti-0.4.0.0@sha256:2ce1e031ec0e34d736fa45f0149bbd55026f614939dc90ffd14a9c5d24093ff4,4423 + hackage: guid-0.1.0@sha256:a7c975be473f6f142d5cc1b39bc807a99043d20b1bb0873fdfe7a3ce84d2faf1,1078 - completed: hackage: lock-file-0.7.0.0@sha256:3ad84b5e454145e1d928063b56abb96db24a99a21b493989520e58fa0ab37b00,4484 pantry-tree: - size: 718 sha256: 3634593ce191e82793ea0e060598ab3cf67f2ef2fe1d65345dc9335ad529d25f + size: 718 original: hackage: lock-file-0.7.0.0@sha256:3ad84b5e454145e1d928063b56abb96db24a99a21b493989520e58fa0ab37b00,4484 - completed: - hackage: http-client-0.7.11@sha256:3f59ac8ffe2a3768846cdda040a0d1df2a413960529ba61c839861c948871967,5756 - pantry-tree: - size: 2547 - sha256: 8372e84e9c710097f4f80f2016ca15a5a0cd7884b8ac5ce70f26b3110f4401bd - original: - hackage: http-client-0.7.11 -- completed: - hackage: lsp-1.5.0.0@sha256:1ad138526f9177965d4b5b01f9074fe0475636b2c563dcc7036fb6908f8e6189,5382 - pantry-tree: - size: 1551 - sha256: 87526822a8ffb514d355975bca3a3f5ceb9a19eaf664cbdcde2f866c4d33878c - original: - hackage: lsp-1.5.0.0 -- completed: - hackage: lsp-types-1.5.0.0@sha256:7ed97bbc9290ad6ffb9b5a8e082226783c710fff9e4ca2df4c578b065997b1ea,4301 - pantry-tree: - size: 4160 - sha256: e45ef86a4301beb45ae7ec527e69880944a03c2d959cb0a051bf58dd0a5579f4 - original: - hackage: lsp-types-1.5.0.0 -- completed: - hackage: text-rope-0.2@sha256:53b9b4cef0b278b9c591cd4ca76543acacf64c9d1bfbc06d0d9a88960446d9a7,2087 - pantry-tree: - size: 1180 - sha256: 51b22419f8d9bfd2a8aa3efa16b80a48e4b0c915a1d27fefe5f0b6d2d9e48312 - original: - hackage: text-rope-0.2@sha256:53b9b4cef0b278b9c591cd4ca76543acacf64c9d1bfbc06d0d9a88960446d9a7,2087 -- completed: - hackage: co-log-core-0.3.1.0@sha256:9794bdedd1391decd0e22bdfe2b11abcb42e6cff7a4531e1f8882890828f4e63,3816 - pantry-tree: - size: 584 - sha256: d4cc089c40c5052ee02f91eafa567e0a239908aabc561dfa6080ba3bfc8c25bd - original: - hackage: co-log-core-0.3.1.0 -- completed: - hackage: terminal-size-0.3.3@sha256:bd5f02333982bc8d6017db257b2a0b91870a295b4a37142a0c0525d8f533a48f,1255 - pantry-tree: - size: 580 - sha256: 2a9669ed392657d34ec2e180ddac68c9ef657e54bf4b5fbc9b9efaa7b1d341be - original: - hackage: terminal-size-0.3.3 -- completed: - hackage: network-3.1.2.7@sha256:e3d78b13db9512aeb106e44a334ab42b7aa48d26c097299084084cb8be5c5568,4888 + hackage: monad-validate-1.2.0.0@sha256:9850f408431098b28806dd464b6825a88a0b56c84f380d7fe0454c1df9d6f881,3505 pantry-tree: - size: 3971 - sha256: 1981a732d1917213de7f51d26255af733a61918c59eebb6c6f6ca939856839ef + sha256: 8e049bd12ce2bd470909578f2ee8eb80b89d5ff88860afa30e29dd4eafecfa3e + size: 713 original: - hackage: network-3.1.2.7 + hackage: monad-validate-1.2.0.0@sha256:9850f408431098b28806dd464b6825a88a0b56c84f380d7fe0454c1df9d6f881,3505 - completed: - hackage: sqlite-simple-0.4.18.2@sha256:dda1643e723591c880dda8eeba73e93502cfa775078a79da55b5efec4c52ff66,3028 + hackage: recover-rtti-0.4.2@sha256:c179a303921126d8d782264e14f386c96e54a270df74be002e4c4ec3c8c7aebd,4529 pantry-tree: - size: 1930 - sha256: 64443740f279b344aecb3389ec8f69ea04d171916a9ed23f8fa529dd3ae75540 + sha256: ad6f24481ebd25a1456d5dfaf08d48d95394ce83eb82a267e01d87d34f13bb83 + size: 2488 original: - hackage: sqlite-simple-0.4.18.2 + hackage: recover-rtti-0.4.2@sha256:c179a303921126d8d782264e14f386c96e54a270df74be002e4c4ec3c8c7aebd,4529 snapshots: - completed: - size: 590100 - url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/18/28.yaml - sha256: 428ec8d5ce932190d3cbe266b9eb3c175cd81e984babf876b64019e2cbe4ea68 - original: lts-18.28 + sha256: 401a0e813162ba62f04517f60c7d25e93a0f867f94a902421ebf07d1fb5a8c46 + size: 650044 + url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/20/21.yaml + original: lts-20.21 diff --git a/unison-cli/package.yaml b/unison-cli/package.yaml index 264c5d0e43..ea3c35a7a6 100644 --- a/unison-cli/package.yaml +++ b/unison-cli/package.yaml @@ -12,7 +12,7 @@ ghc-options: -Wall dependencies: - IntervalMap - ListLike - - aeson + - aeson >= 2.0.0.0 - aeson-pretty - ansi-terminal - async @@ -42,8 +42,8 @@ dependencies: - ki - lens - lock-file - - lsp - - lsp-types + - lsp >= 1.5.0.0 + - lsp-types >= 1.5.0.0 - megaparsec - memory - mtl diff --git a/unison-cli/src/Unison/CommandLine/Welcome.hs b/unison-cli/src/Unison/CommandLine/Welcome.hs index 2806e0504d..575d8e8b41 100644 --- a/unison-cli/src/Unison/CommandLine/Welcome.hs +++ b/unison-cli/src/Unison/CommandLine/Welcome.hs @@ -168,7 +168,7 @@ authorSuggestion :: P.Pretty P.ColorText authorSuggestion = P.newline <> P.lines - [ P.wrap "📜 🪶 You might want to set up your author information next.", + [ P.wrap "📜🪶 You might want to set up your author information next.", P.wrap "Type" <> P.hiBlue " create.author" <> " to create an author for this codebase", P.group (P.newline <> P.wrap "Read about how to link your author to your code at"), P.wrap $ P.blue "https://www.unison-lang.org/learn/tooling/configuration/" diff --git a/unison-cli/src/Unison/LSP/Types.hs b/unison-cli/src/Unison/LSP/Types.hs index b74a3f72c7..0ef462eeb2 100644 --- a/unison-cli/src/Unison/LSP/Types.hs +++ b/unison-cli/src/Unison/LSP/Types.hs @@ -13,6 +13,8 @@ import Control.Lens hiding (List, (:<)) import Control.Monad.Except import Control.Monad.Reader import qualified Data.Aeson as Aeson +import qualified Data.Aeson.Key as Aeson.Key +import qualified Data.Aeson.KeyMap as Aeson.KeyMap import qualified Data.ByteString.Lazy.Char8 as BSC import qualified Data.HashMap.Strict as HM import Data.IntervalMap.Lazy (IntervalMap) @@ -171,7 +173,7 @@ data Config = Config instance Aeson.FromJSON Config where parseJSON = Aeson.withObject "Config" \obj -> do maxCompletions <- obj Aeson..:! "maxCompletions" Aeson..!= maxCompletions defaultLSPConfig - let invalidKeys = Set.fromList (HM.keys obj) `Set.difference` validKeys + let invalidKeys = Set.fromList (map Aeson.Key.toText (Aeson.KeyMap.keys obj)) `Set.difference` validKeys when (not . null $ invalidKeys) do fail . Text.unpack $ "Unrecognized configuration key(s): " diff --git a/unison-cli/unison-cli.cabal b/unison-cli/unison-cli.cabal index 30ec768a5a..4a32c74269 100644 --- a/unison-cli/unison-cli.cabal +++ b/unison-cli/unison-cli.cabal @@ -142,7 +142,7 @@ library build-depends: IntervalMap , ListLike - , aeson + , aeson >=2.0.0.0 , aeson-pretty , ansi-terminal , async @@ -173,8 +173,8 @@ library , ki , lens , lock-file - , lsp - , lsp-types + , lsp >=1.5.0.0 + , lsp-types >=1.5.0.0 , megaparsec , memory , mtl @@ -271,7 +271,7 @@ executable cli-integration-tests build-depends: IntervalMap , ListLike - , aeson + , aeson >=2.0.0.0 , aeson-pretty , ansi-terminal , async @@ -304,8 +304,8 @@ executable cli-integration-tests , ki , lens , lock-file - , lsp - , lsp-types + , lsp >=1.5.0.0 + , lsp-types >=1.5.0.0 , megaparsec , memory , mtl @@ -396,7 +396,7 @@ executable transcripts build-depends: IntervalMap , ListLike - , aeson + , aeson >=2.0.0.0 , aeson-pretty , ansi-terminal , async @@ -429,8 +429,8 @@ executable transcripts , ki , lens , lock-file - , lsp - , lsp-types + , lsp >=1.5.0.0 + , lsp-types >=1.5.0.0 , megaparsec , memory , mtl @@ -527,7 +527,7 @@ executable unison build-depends: IntervalMap , ListLike - , aeson + , aeson >=2.0.0.0 , aeson-pretty , ansi-terminal , async @@ -559,8 +559,8 @@ executable unison , ki , lens , lock-file - , lsp - , lsp-types + , lsp >=1.5.0.0 + , lsp-types >=1.5.0.0 , megaparsec , memory , mtl @@ -664,7 +664,7 @@ test-suite cli-tests build-depends: IntervalMap , ListLike - , aeson + , aeson >=2.0.0.0 , aeson-pretty , ansi-terminal , async @@ -697,8 +697,8 @@ test-suite cli-tests , ki , lens , lock-file - , lsp - , lsp-types + , lsp >=1.5.0.0 + , lsp-types >=1.5.0.0 , megaparsec , memory , mtl diff --git a/unison-hashing-v2/src/Unison/Hashing/V2/Term.hs b/unison-hashing-v2/src/Unison/Hashing/V2/Term.hs index f258b053f4..d661afe1ac 100644 --- a/unison-hashing-v2/src/Unison/Hashing/V2/Term.hs +++ b/unison-hashing-v2/src/Unison/Hashing/V2/Term.hs @@ -163,8 +163,6 @@ instance (Var v) => Hashable1 (TermF v a p) where B.Recorded (B.Resolve _ s) -> [tag 2, Hashable.Text (Text.pack s)] TermRef (ReferenceBuiltin name) -> [tag 2, accumulateToken name] - TermRef ReferenceDerived {} -> - error "handled above, but GHC can't figure this out" TermApp a a2 -> [tag 3, hashed (hash a), hashed (hash a2)] TermAnn a t -> [tag 4, hashed (hash a), hashed (ABT.hash t)] TermList as -> diff --git a/unison-share-api/package.yaml b/unison-share-api/package.yaml index 2d48d87b7f..1f4e2458f0 100644 --- a/unison-share-api/package.yaml +++ b/unison-share-api/package.yaml @@ -10,7 +10,7 @@ library: dependencies: - NanoID - - aeson + - aeson >= 2.0.0.0 - async - base - binary diff --git a/unison-share-api/src/Unison/Server/Doc.hs b/unison-share-api/src/Unison/Server/Doc.hs index d0b2db2166..f2ca348461 100644 --- a/unison-share-api/src/Unison/Server/Doc.hs +++ b/unison-share-api/src/Unison/Server/Doc.hs @@ -5,6 +5,7 @@ {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE StandaloneDeriving #-} {-# LANGUAGE ViewPatterns #-} +{-# OPTIONS_GHC -Wno-incomplete-uni-patterns #-} module Unison.Server.Doc where diff --git a/unison-share-api/unison-share-api.cabal b/unison-share-api/unison-share-api.cabal index 090a99523a..9627839333 100644 --- a/unison-share-api/unison-share-api.cabal +++ b/unison-share-api/unison-share-api.cabal @@ -78,7 +78,7 @@ library ghc-options: -Wall build-depends: NanoID - , aeson + , aeson >=2.0.0.0 , async , base , binary diff --git a/unison-share-projects-api/src/Unison/Share/API/Hash.hs b/unison-share-projects-api/src/Unison/Share/API/Hash.hs index bdddf983b7..5366b5eb5d 100644 --- a/unison-share-projects-api/src/Unison/Share/API/Hash.hs +++ b/unison-share-projects-api/src/Unison/Share/API/Hash.hs @@ -17,8 +17,7 @@ import Control.Lens (folding, ix, (^?)) import qualified Crypto.JWT as Jose import Data.Aeson import qualified Data.Aeson as Aeson -import qualified Data.HashMap.Strict as HashMap -import qualified Data.Map.Strict as Map +import qualified Data.Aeson.KeyMap as Aeson.KeyMap import qualified Servant.Auth.JWT as Servant.Auth import Unison.Hash32 (Hash32) import Unison.Hash32.Orphans.Aeson () @@ -101,8 +100,7 @@ decodeHashJWTClaims (HashJWT text) = & JWT.claims & JWT.unregisteredClaims & JWT.unClaimsMap - & Map.toList - & HashMap.fromList + & Aeson.KeyMap.fromMapText & Aeson.Object in case Aeson.fromJSON object of Aeson.Error err -> error ("bad JWT: " ++ err) diff --git a/unison-share-projects-api/src/Unison/Share/API/Projects.hs b/unison-share-projects-api/src/Unison/Share/API/Projects.hs index d34bc1a17d..8df1a42258 100644 --- a/unison-share-projects-api/src/Unison/Share/API/Projects.hs +++ b/unison-share-projects-api/src/Unison/Share/API/Projects.hs @@ -38,8 +38,8 @@ module Unison.Share.API.Projects where import Data.Aeson +import qualified Data.Aeson.KeyMap as Aeson.KeyMap import Data.Aeson.Types -import qualified Data.HashMap.Strict as HashMap import Data.Monoid (Endo (..)) import qualified Data.Text as Text import Servant.API @@ -47,6 +47,7 @@ import Unison.Hash32 (Hash32) import Unison.Hash32.Orphans.Aeson () import Unison.Prelude import Unison.Share.API.Hash (HashJWT) +import qualified Data.Aeson.Key as Aeson.Key type ProjectsAPI = GetProjectAPI @@ -440,14 +441,14 @@ instance FromJSON Unauthorized where -- using this combinator. objectWithMaybes :: [Pair] -> [Endo Object] -> Value objectWithMaybes nonMaybeFields maybeFields = - Object (appEndo (fold maybeFields) (HashMap.fromList nonMaybeFields)) + Object (appEndo (fold maybeFields) (Aeson.KeyMap.fromList nonMaybeFields)) -- | Like ('.='), but omits the key/value pair if the value is Nothing. (.=?) :: (ToJSON a) => Text -> Maybe a -> Endo Object k .=? mv = case mv of Nothing -> mempty - Just v -> Endo (HashMap.insert k (toJSON v)) + Just v -> Endo (Aeson.KeyMap.insert (Aeson.Key.fromText k) (toJSON v)) toSumType :: Text -> Value -> Value toSumType typ payload = From b1652cafc7bc6ec0492a718946da5c653affcdc7 Mon Sep 17 00:00:00 2001 From: Arya Irani Date: Sat, 20 May 2023 18:49:53 -0400 Subject: [PATCH 2/9] hopefully satisfy ormolu --- unison-share-projects-api/src/Unison/Share/API/Projects.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/unison-share-projects-api/src/Unison/Share/API/Projects.hs b/unison-share-projects-api/src/Unison/Share/API/Projects.hs index 8df1a42258..05fababa82 100644 --- a/unison-share-projects-api/src/Unison/Share/API/Projects.hs +++ b/unison-share-projects-api/src/Unison/Share/API/Projects.hs @@ -38,6 +38,7 @@ module Unison.Share.API.Projects where import Data.Aeson +import qualified Data.Aeson.Key as Aeson.Key import qualified Data.Aeson.KeyMap as Aeson.KeyMap import Data.Aeson.Types import Data.Monoid (Endo (..)) @@ -47,7 +48,6 @@ import Unison.Hash32 (Hash32) import Unison.Hash32.Orphans.Aeson () import Unison.Prelude import Unison.Share.API.Hash (HashJWT) -import qualified Data.Aeson.Key as Aeson.Key type ProjectsAPI = GetProjectAPI From f619a8fcd2333428b72372411b489a40dd379620 Mon Sep 17 00:00:00 2001 From: Arya Irani Date: Tue, 23 May 2023 07:42:58 -0400 Subject: [PATCH 3/9] building on lts-20.22 --- codebase2/util-term/U/Util/Type.hs | 1 + .../src/Unison/Syntax/TermParser.hs | 2 +- .../src/Unison/Syntax/TypeParser.hs | 2 + stack.yaml | 9 ++-- stack.yaml.lock | 49 ++++++++++++------- unison-cli/src/Unison/LSP/Types.hs | 1 + unison-core/src/Unison/Type.hs | 1 + .../src/Unison/Hashing/V2/Type.hs | 2 + .../src/Unison/Share/API/Hash.hs | 1 + 9 files changed, 44 insertions(+), 24 deletions(-) diff --git a/codebase2/util-term/U/Util/Type.hs b/codebase2/util-term/U/Util/Type.hs index 7acf6a4c14..4877861346 100644 --- a/codebase2/util-term/U/Util/Type.hs +++ b/codebase2/util-term/U/Util/Type.hs @@ -1,6 +1,7 @@ {-# LANGUAGE PatternSynonyms #-} {-# LANGUAGE TupleSections #-} {-# LANGUAGE ViewPatterns #-} +{-# OPTIONS_GHC -Wno-forall-identifier #-} module U.Util.Type where diff --git a/parser-typechecker/src/Unison/Syntax/TermParser.hs b/parser-typechecker/src/Unison/Syntax/TermParser.hs index 4d624f7d9b..032fa9f11e 100644 --- a/parser-typechecker/src/Unison/Syntax/TermParser.hs +++ b/parser-typechecker/src/Unison/Syntax/TermParser.hs @@ -144,7 +144,7 @@ matchCases1 :: (Var v) => L.Token () -> P v (NonEmpty (Int, Term.MatchCase Ann ( matchCases1 start = do cases <- (sepBy semi matchCase) - <&> \cases -> [(n, c) | (n, cs) <- cases, c <- cs] + <&> \cases_ -> [(n, c) | (n, cs) <- cases_, c <- cs] case cases of [] -> P.customFailure (EmptyMatch start) (c : cs) -> pure (c NonEmpty.:| cs) diff --git a/parser-typechecker/src/Unison/Syntax/TypeParser.hs b/parser-typechecker/src/Unison/Syntax/TypeParser.hs index 8af9a2a3a0..b706db8058 100644 --- a/parser-typechecker/src/Unison/Syntax/TypeParser.hs +++ b/parser-typechecker/src/Unison/Syntax/TypeParser.hs @@ -1,3 +1,5 @@ +{-# OPTIONS_GHC -Wno-forall-identifier #-} + module Unison.Syntax.TypeParser where import Control.Monad.Reader (asks) diff --git a/stack.yaml b/stack.yaml index eadbec7cc8..17ab449c29 100644 --- a/stack.yaml +++ b/stack.yaml @@ -39,15 +39,12 @@ packages: - unison-syntax - yaks/easytest -resolver: lts-20.21 +resolver: lts-20.22 extra-deps: +# wrong version in snapshot - github: unisonweb/configurator commit: e47e9e9fe1f576f8c835183b9def52d73c01327a -- github: awkward-squad/ki - commit: 563e96238dfe392dccf68d93953c8f30fd53bec8 - subdirs: - - ki # This custom Haskeline alters ANSI rendering on Windows. # If changing the haskeline dependency, please ensure color renders properly in a # Windows terminal. @@ -55,7 +52,7 @@ extra-deps: - github: unisonweb/haskeline commit: 9275eea7982dabbf47be2ba078ced669ae7ef3d5 -# not in lts-20.21 +# not in stackage - fuzzyfind-3.0.1 - guid-0.1.0@sha256:a7c975be473f6f142d5cc1b39bc807a99043d20b1bb0873fdfe7a3ce84d2faf1,1078 - lock-file-0.7.0.0@sha256:3ad84b5e454145e1d928063b56abb96db24a99a21b493989520e58fa0ab37b00,4484 diff --git a/stack.yaml.lock b/stack.yaml.lock index 9475fba1e2..8084169a5a 100644 --- a/stack.yaml.lock +++ b/stack.yaml.lock @@ -15,19 +15,6 @@ packages: version: 0.3.0.0 original: url: https://github.com/unisonweb/configurator/archive/e47e9e9fe1f576f8c835183b9def52d73c01327a.tar.gz -- completed: - name: ki - pantry-tree: - sha256: c63220c438c076818e09061b117c56055e154f6abb66ea9bc44a3900fcabd654 - size: 704 - sha256: a45eb3dbe7333c108aef4afce7f763c7661919b09641ef9d241c7ca4a78bf735 - size: 15840 - subdir: ki - url: https://github.com/awkward-squad/ki/archive/563e96238dfe392dccf68d93953c8f30fd53bec8.tar.gz - version: 1.0.0 - original: - subdir: ki - url: https://github.com/awkward-squad/ki/archive/563e96238dfe392dccf68d93953c8f30fd53bec8.tar.gz - completed: name: haskeline pantry-tree: @@ -39,6 +26,13 @@ packages: version: 0.8.0.0 original: url: https://github.com/unisonweb/haskeline/archive/9275eea7982dabbf47be2ba078ced669ae7ef3d5.tar.gz +- completed: + hackage: fsnotify-0.3.0.1@sha256:fbec8cddd3f991d5b905df16895c67717b0f580e1ef33de34d93de814af1a08a,2988 + pantry-tree: + sha256: 37a2111006e61b752f3d4690dc81d76a4cedf3415dc486779addb2a033f5de58 + size: 1130 + original: + hackage: fsnotify-0.3.0.1 - completed: hackage: fuzzyfind-3.0.1@sha256:78f89c1d79adf0a15fa2e57c693d42b4765ccfbbe380d0c9d7da6bff9f124f85,1823 pantry-tree: @@ -74,9 +68,30 @@ packages: size: 2488 original: hackage: recover-rtti-0.4.2@sha256:c179a303921126d8d782264e14f386c96e54a270df74be002e4c4ec3c8c7aebd,4529 +- completed: + hackage: shellmet-0.0.4.1@sha256:6d1dd3ce296b00a589e439d20a4466515cdf3e6156a0a147156804ee544ee9d1,3239 + pantry-tree: + sha256: 5f5b89ad4dd21b03ee7518f745d50d881e0ae99ad6d8d5b9006ce798dd5d968f + size: 371 + original: + hackage: shellmet-0.0.4.1 +- completed: + hackage: NanoID-3.3.0@sha256:027d369d5ec841e982c68cbc78ea87c4e91b9ffe66908ab7f0be62eb465f6ae2,1648 + pantry-tree: + sha256: 80ff9b1b12cb0ad102c7e5b935d6f3781f37f9375756c6df5b900f776e608724 + size: 364 + original: + hackage: NanoID-3.3.0 +- completed: + hackage: base32-0.2.2.0@sha256:61a5c1f457b619700ce600a43ce5e695cddd31f09aac540df23258bf9027ee9d,2563 + pantry-tree: + sha256: 7f684f2fa28ad83e70c1c5d22c4f7487e5b7dcc340aac1aad833fa5b32d17640 + size: 1936 + original: + hackage: base32-0.2.2.0 snapshots: - completed: - sha256: 401a0e813162ba62f04517f60c7d25e93a0f867f94a902421ebf07d1fb5a8c46 - size: 650044 - url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/20/21.yaml - original: lts-20.21 + sha256: 359dfcca6f69bb32f4f41eb951df23e1087fda7147c91cf8320813cdcc14e4dc + size: 632121 + url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/nightly/2023/5/20.yaml + original: nightly-2023-05-20 diff --git a/unison-cli/src/Unison/LSP/Types.hs b/unison-cli/src/Unison/LSP/Types.hs index 0ef462eeb2..d28f42b8c0 100644 --- a/unison-cli/src/Unison/LSP/Types.hs +++ b/unison-cli/src/Unison/LSP/Types.hs @@ -3,6 +3,7 @@ {-# LANGUAGE PolyKinds #-} {-# LANGUAGE RecordWildCards #-} {-# LANGUAGE UndecidableInstances #-} +{-# OPTIONS_GHC -Wno-type-equality-requires-operators #-} module Unison.LSP.Types where diff --git a/unison-core/src/Unison/Type.hs b/unison-core/src/Unison/Type.hs index 3fe3d803b1..479ef0390e 100644 --- a/unison-core/src/Unison/Type.hs +++ b/unison-core/src/Unison/Type.hs @@ -1,4 +1,5 @@ {-# LANGUAGE DataKinds #-} +{-# OPTIONS_GHC -Wno-forall-identifier #-} module Unison.Type where diff --git a/unison-hashing-v2/src/Unison/Hashing/V2/Type.hs b/unison-hashing-v2/src/Unison/Hashing/V2/Type.hs index ee5ea8757b..3706cc07e8 100644 --- a/unison-hashing-v2/src/Unison/Hashing/V2/Type.hs +++ b/unison-hashing-v2/src/Unison/Hashing/V2/Type.hs @@ -1,3 +1,5 @@ +{-# OPTIONS_GHC -Wno-forall-identifier #-} + module Unison.Hashing.V2.Type ( Type, TypeF (..), diff --git a/unison-share-projects-api/src/Unison/Share/API/Hash.hs b/unison-share-projects-api/src/Unison/Share/API/Hash.hs index 5366b5eb5d..ff5e44781a 100644 --- a/unison-share-projects-api/src/Unison/Share/API/Hash.hs +++ b/unison-share-projects-api/src/Unison/Share/API/Hash.hs @@ -1,4 +1,5 @@ {-# LANGUAGE RecordWildCards #-} +{-# OPTIONS_GHC -Wno-deprecations #-} -- | Hash-related types in the Share API. module Unison.Share.API.Hash From c059dee34fb55aa9d40cb817b5219e9985b472c8 Mon Sep 17 00:00:00 2001 From: Arya Irani Date: Tue, 23 May 2023 23:58:00 -0400 Subject: [PATCH 4/9] remove some ghc 9.4 options that leaked in here --- stack.yaml.lock | 36 ++++-------------------------------- 1 file changed, 4 insertions(+), 32 deletions(-) diff --git a/stack.yaml.lock b/stack.yaml.lock index 8084169a5a..32053a70d3 100644 --- a/stack.yaml.lock +++ b/stack.yaml.lock @@ -26,13 +26,6 @@ packages: version: 0.8.0.0 original: url: https://github.com/unisonweb/haskeline/archive/9275eea7982dabbf47be2ba078ced669ae7ef3d5.tar.gz -- completed: - hackage: fsnotify-0.3.0.1@sha256:fbec8cddd3f991d5b905df16895c67717b0f580e1ef33de34d93de814af1a08a,2988 - pantry-tree: - sha256: 37a2111006e61b752f3d4690dc81d76a4cedf3415dc486779addb2a033f5de58 - size: 1130 - original: - hackage: fsnotify-0.3.0.1 - completed: hackage: fuzzyfind-3.0.1@sha256:78f89c1d79adf0a15fa2e57c693d42b4765ccfbbe380d0c9d7da6bff9f124f85,1823 pantry-tree: @@ -68,30 +61,9 @@ packages: size: 2488 original: hackage: recover-rtti-0.4.2@sha256:c179a303921126d8d782264e14f386c96e54a270df74be002e4c4ec3c8c7aebd,4529 -- completed: - hackage: shellmet-0.0.4.1@sha256:6d1dd3ce296b00a589e439d20a4466515cdf3e6156a0a147156804ee544ee9d1,3239 - pantry-tree: - sha256: 5f5b89ad4dd21b03ee7518f745d50d881e0ae99ad6d8d5b9006ce798dd5d968f - size: 371 - original: - hackage: shellmet-0.0.4.1 -- completed: - hackage: NanoID-3.3.0@sha256:027d369d5ec841e982c68cbc78ea87c4e91b9ffe66908ab7f0be62eb465f6ae2,1648 - pantry-tree: - sha256: 80ff9b1b12cb0ad102c7e5b935d6f3781f37f9375756c6df5b900f776e608724 - size: 364 - original: - hackage: NanoID-3.3.0 -- completed: - hackage: base32-0.2.2.0@sha256:61a5c1f457b619700ce600a43ce5e695cddd31f09aac540df23258bf9027ee9d,2563 - pantry-tree: - sha256: 7f684f2fa28ad83e70c1c5d22c4f7487e5b7dcc340aac1aad833fa5b32d17640 - size: 1936 - original: - hackage: base32-0.2.2.0 snapshots: - completed: - sha256: 359dfcca6f69bb32f4f41eb951df23e1087fda7147c91cf8320813cdcc14e4dc - size: 632121 - url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/nightly/2023/5/20.yaml - original: nightly-2023-05-20 + sha256: dcf4fc28f12d805480ddbe8eb8c370e11db12f0461d0110a4240af27ac88d725 + size: 650255 + url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/20/22.yaml + original: lts-20.22 From be8400a988de6cf355e7bd025ea7ba3c86035897 Mon Sep 17 00:00:00 2001 From: Arya Irani Date: Wed, 24 May 2023 00:24:49 -0400 Subject: [PATCH 5/9] downgrade to network-3.1.2.7 --- stack.yaml | 5 ++++- stack.yaml.lock | 7 +++++++ 2 files changed, 11 insertions(+), 1 deletion(-) diff --git a/stack.yaml b/stack.yaml index 17ab449c29..721ba88d12 100644 --- a/stack.yaml +++ b/stack.yaml @@ -42,7 +42,10 @@ packages: resolver: lts-20.22 extra-deps: -# wrong version in snapshot +# version in snapshot is too new +- network-3.1.2.7 # 3.1.3.0 doesn't seem to build in Windows + +# broken version in snapshot - github: unisonweb/configurator commit: e47e9e9fe1f576f8c835183b9def52d73c01327a # This custom Haskeline alters ANSI rendering on Windows. diff --git a/stack.yaml.lock b/stack.yaml.lock index 32053a70d3..b73e2cade3 100644 --- a/stack.yaml.lock +++ b/stack.yaml.lock @@ -4,6 +4,13 @@ # https://docs.haskellstack.org/en/stable/lock_files packages: +- completed: + hackage: network-3.1.2.7@sha256:9752628bc626e0cad8c53039bea0dc0417f39ca6663232e4d9ac4e35a8925f7d,4911 + pantry-tree: + sha256: aa95093a413ed8306699098159047580e0dc0bda4a862a0264a370b993319b24 + size: 3971 + original: + hackage: network-3.1.2.7 - completed: name: configurator pantry-tree: From c28f168e39e0ab072d339e8a5b8323f3999feaaf Mon Sep 17 00:00:00 2001 From: Arya Irani Date: Wed, 24 May 2023 00:25:04 -0400 Subject: [PATCH 6/9] remove some ghc 9.4 options that leaked in here --- codebase2/util-term/U/Util/Type.hs | 1 - parser-typechecker/src/Unison/Syntax/TypeParser.hs | 1 - unison-cli/src/Unison/LSP/Types.hs | 1 - unison-core/src/Unison/Type.hs | 1 - unison-hashing-v2/src/Unison/Hashing/V2/Type.hs | 1 - 5 files changed, 5 deletions(-) diff --git a/codebase2/util-term/U/Util/Type.hs b/codebase2/util-term/U/Util/Type.hs index 4877861346..7acf6a4c14 100644 --- a/codebase2/util-term/U/Util/Type.hs +++ b/codebase2/util-term/U/Util/Type.hs @@ -1,7 +1,6 @@ {-# LANGUAGE PatternSynonyms #-} {-# LANGUAGE TupleSections #-} {-# LANGUAGE ViewPatterns #-} -{-# OPTIONS_GHC -Wno-forall-identifier #-} module U.Util.Type where diff --git a/parser-typechecker/src/Unison/Syntax/TypeParser.hs b/parser-typechecker/src/Unison/Syntax/TypeParser.hs index b706db8058..8f714bd685 100644 --- a/parser-typechecker/src/Unison/Syntax/TypeParser.hs +++ b/parser-typechecker/src/Unison/Syntax/TypeParser.hs @@ -1,4 +1,3 @@ -{-# OPTIONS_GHC -Wno-forall-identifier #-} module Unison.Syntax.TypeParser where diff --git a/unison-cli/src/Unison/LSP/Types.hs b/unison-cli/src/Unison/LSP/Types.hs index d28f42b8c0..0ef462eeb2 100644 --- a/unison-cli/src/Unison/LSP/Types.hs +++ b/unison-cli/src/Unison/LSP/Types.hs @@ -3,7 +3,6 @@ {-# LANGUAGE PolyKinds #-} {-# LANGUAGE RecordWildCards #-} {-# LANGUAGE UndecidableInstances #-} -{-# OPTIONS_GHC -Wno-type-equality-requires-operators #-} module Unison.LSP.Types where diff --git a/unison-core/src/Unison/Type.hs b/unison-core/src/Unison/Type.hs index 479ef0390e..3fe3d803b1 100644 --- a/unison-core/src/Unison/Type.hs +++ b/unison-core/src/Unison/Type.hs @@ -1,5 +1,4 @@ {-# LANGUAGE DataKinds #-} -{-# OPTIONS_GHC -Wno-forall-identifier #-} module Unison.Type where diff --git a/unison-hashing-v2/src/Unison/Hashing/V2/Type.hs b/unison-hashing-v2/src/Unison/Hashing/V2/Type.hs index 3706cc07e8..efaade8cd5 100644 --- a/unison-hashing-v2/src/Unison/Hashing/V2/Type.hs +++ b/unison-hashing-v2/src/Unison/Hashing/V2/Type.hs @@ -1,4 +1,3 @@ -{-# OPTIONS_GHC -Wno-forall-identifier #-} module Unison.Hashing.V2.Type ( Type, From d936b0424b5acdd66b7af628ced9a54718328b0e Mon Sep 17 00:00:00 2001 From: Arya Irani Date: Wed, 24 May 2023 00:44:08 -0400 Subject: [PATCH 7/9] fix formatting --- parser-typechecker/src/Unison/Syntax/TypeParser.hs | 1 - unison-hashing-v2/src/Unison/Hashing/V2/Type.hs | 1 - 2 files changed, 2 deletions(-) diff --git a/parser-typechecker/src/Unison/Syntax/TypeParser.hs b/parser-typechecker/src/Unison/Syntax/TypeParser.hs index 8f714bd685..8af9a2a3a0 100644 --- a/parser-typechecker/src/Unison/Syntax/TypeParser.hs +++ b/parser-typechecker/src/Unison/Syntax/TypeParser.hs @@ -1,4 +1,3 @@ - module Unison.Syntax.TypeParser where import Control.Monad.Reader (asks) diff --git a/unison-hashing-v2/src/Unison/Hashing/V2/Type.hs b/unison-hashing-v2/src/Unison/Hashing/V2/Type.hs index efaade8cd5..ee5ea8757b 100644 --- a/unison-hashing-v2/src/Unison/Hashing/V2/Type.hs +++ b/unison-hashing-v2/src/Unison/Hashing/V2/Type.hs @@ -1,4 +1,3 @@ - module Unison.Hashing.V2.Type ( Type, TypeF (..), From 63f62b6ad5147f76a5206aa02660fab0e7c98d98 Mon Sep 17 00:00:00 2001 From: Chris Penner Date: Tue, 23 May 2023 09:14:08 -0600 Subject: [PATCH 8/9] Remove uni-patterns --- unison-share-api/src/Unison/Server/Doc.hs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/unison-share-api/src/Unison/Server/Doc.hs b/unison-share-api/src/Unison/Server/Doc.hs index f2ca348461..62c79672c9 100644 --- a/unison-share-api/src/Unison/Server/Doc.hs +++ b/unison-share-api/src/Unison/Server/Doc.hs @@ -5,7 +5,6 @@ {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE StandaloneDeriving #-} {-# LANGUAGE ViewPatterns #-} -{-# OPTIONS_GHC -Wno-incomplete-uni-patterns #-} module Unison.Server.Doc where @@ -360,7 +359,9 @@ evalDoc terms typeOf eval types tm = in goSignatures rs <&> \s -> ESignature s -- SignatureInline Doc2.Term DD.Doc2SpecialFormSignatureInline (DD.Doc2Term (Term.Referent' r)) -> - goSignatures [r] <&> \[s] -> ESignatureInline s + goSignatures [r] <&> \case + [s] -> ESignatureInline s + _ -> error "impossible error: evalDoc: expected exactly one signature" -- Eval Doc2.Term DD.Doc2SpecialFormEval (DD.Doc2Term tm) -> do result <- eval tm From b494e0775e80a44f06c0b3389630f4e884e0452a Mon Sep 17 00:00:00 2001 From: Arya Irani Date: Wed, 24 May 2023 11:25:01 -0400 Subject: [PATCH 9/9] maybe there had been something deprecated in the nightly --- unison-share-projects-api/src/Unison/Share/API/Hash.hs | 1 - 1 file changed, 1 deletion(-) diff --git a/unison-share-projects-api/src/Unison/Share/API/Hash.hs b/unison-share-projects-api/src/Unison/Share/API/Hash.hs index ff5e44781a..5366b5eb5d 100644 --- a/unison-share-projects-api/src/Unison/Share/API/Hash.hs +++ b/unison-share-projects-api/src/Unison/Share/API/Hash.hs @@ -1,5 +1,4 @@ {-# LANGUAGE RecordWildCards #-} -{-# OPTIONS_GHC -Wno-deprecations #-} -- | Hash-related types in the Share API. module Unison.Share.API.Hash