Upgrade Nixpkgs to the latest nixpkgs-unstable

default.nix

@@ -21,6 +21,6 @@ in
     # We can re-enable these once https://github.com/NixOS/nixpkgs/issues/133271
     # is fixed and Nixpkgs is upgraded to a version that incorporates GHCJS
 
-    # inherit (shared_ghcjs) dhall-try;
-    # dhall-ghcjs = shared_ghcjs.dhall;
+    inherit (shared_ghcjs) dhall-try;
+    dhall-ghcjs = shared_ghcjs.dhall;
   }

dhall-csv/dhall-csv.cabal

@@ -1,8 +1,8 @@
+Cabal-Version: 2.4
 Name: dhall-csv
 Version: 1.0.4
-Cabal-Version: >=1.10
 Build-Type: Simple
-License: BSD3
+License: BSD-3-Clause
 License-File: LICENSE
 Copyright: 2021 Marcos Lerones
 Author: Marcos Lerones
@@ -25,6 +25,8 @@ Category: Compiler
 Extra-Source-Files:
     CHANGELOG.md
     README.md
+    tasty/data/**/*.dhall
+    tasty/data/**/*.csv
 Source-Repository head
     Type: git
     Location: https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-csv

dhall-lsp-server/dhall-lsp-server.cabal

@@ -53,7 +53,7 @@ library
     , dhall                >= 1.38.0   && < 1.43
     , dhall-json           >= 1.4      && < 1.8
     , filepath             >= 1.4.2    && < 1.6
-    , lsp                  >= 2.1.0.0  && < 2.2
+    , lsp                  >= 2.1.0.0  && < 2.4
     , lens                 >= 4.16.1   && < 5.4
     -- megaparsec follows SemVer: https://github.com/mrkkrp/megaparsec/issues/469#issuecomment-927918469
     , megaparsec           >= 7.0.2    && < 10
@@ -104,9 +104,9 @@ Test-Suite tests
     GHC-Options: -Wall
     Build-Depends:
         base                                    ,
-        lsp-types         >= 2.0.1    && < 2.1  ,
+        lsp-types         >= 2.0.1    && < 2.2  ,
         hspec             >= 2.7      && < 2.12 ,
-        lsp-test          >= 0.15.0.0 && < 0.16 ,
+        lsp-test          >= 0.15.0.0 && < 0.17 ,
         tasty             >= 0.11.2   && < 1.6  ,
         tasty-hspec       >= 1.1      && < 1.3  ,
         text              >= 0.11     && < 2.2

dhall-lsp-server/src/Dhall/LSP/Handlers.hs

@@ -653,11 +653,10 @@
                     respond (Right _default)
 
     handler (severity_, _message) = do
                     let _type_ = case severity_ of
                           Error   -> MessageType_Error
                           Warning -> MessageType_Warning
                           Info    -> MessageType_Info
-                          Log     -> MessageType_Log
 
                     liftLSP $ LSP.sendNotification SMethod_WindowShowMessage ShowMessageParams{..}
                     respond (Right _default)

dhall-lsp-server/src/Dhall/LSP/Server.hs

@@ -52,11 +52,15 @@
 
   let defaultConfig = def
 
-  let onConfigurationChange _oldConfig json =
+  let configSection = "dhall-lsp-server"
+
+  let parseConfig _oldConfig json =
         case fromJSON json of
             Aeson.Success config -> Right config
             Aeson.Error   string -> Left (Text.pack string)
 
+  let onConfigChange _ = pure ()
+
   let doInitialize environment _request = do
           return (Right environment)
 
@@ -110,11 +114,10 @@
                     liftIO (fail (Text.unpack _message))
 
                   Left (severity_, _message) -> do
                     let _type_ = case severity_ of
                           Error   -> MessageType_Error
                           Warning -> MessageType_Warning
                           Info    -> MessageType_Info
-                          Log     -> MessageType_Log
 
                     LSP.sendNotification SMethod_WindowShowMessage ShowMessageParams{..}
                     liftIO (fail (Text.unpack _message))
@@ -125,7 +128,7 @@
 
           backward = liftIO
 
   exitCode <- LSP.runServerWithHandles ioLogger lspLogger stdin stdout ServerDefinition{..}
 
   case exitCode of
       0 -> return ()

dhall-lsp-server/tests/Main.hs

@@ -22,8 +22,9 @@ import Test.Tasty.Hspec
 import Test.Hspec
 #endif
 
-import qualified Data.Text       as T
+import qualified Data.Text as T
 import qualified GHC.IO.Encoding
+import qualified System.Environment as Environment
 
 baseDir :: FilePath -> FilePath
 baseDir d = "tests/fixtures/" <> d
@@ -141,7 +142,9 @@ codeCompletionSpec fixtureDir =
         docId <- openDoc "ImportedFunctions.dhall" "dhall"
         cs <- getCompletions docId (Position {_line = 0, _character = 33})
         liftIO $ do
-          let [ firstItem, secondItem ] = cs
+          (firstItem, secondItem) <- case cs of
+              [x, y] -> pure (x, y)
+              _      -> fail "Unexpected number of items"
           _label firstItem `shouldBe` "`make user`"
           _label secondItem `shouldBe` "makeUser"
           _detail firstItem `shouldBe` Just "\8704(user : Text) \8594 { home : Text }"
@@ -152,7 +155,9 @@ codeCompletionSpec fixtureDir =
         docId <- openDoc "Union.dhall" "dhall"
         cs <- getCompletions docId (Position {_line = 2, _character = 10})
         liftIO $ do
-          let [ firstItem, secondItem ] = cs
+          (firstItem, secondItem) <- case cs of
+              [x, y] -> pure (x, y)
+              _      -> fail "Unexpected number of items"
           _label firstItem `shouldBe` "A"
           _label secondItem `shouldBe` "`B C`"
           _detail firstItem `shouldBe` Just "\8704(A : Text) \8594 < A : Text | `B C` >"
@@ -205,6 +210,7 @@ diagnosticsSpec fixtureDir = do
 main :: IO ()
 main = do
   GHC.IO.Encoding.setLocaleEncoding GHC.IO.Encoding.utf8
+  Environment.setEnv "TASTY_NUM_THREADS" "1"
   diagnostics <- testSpec "Diagnostics" (diagnosticsSpec (baseDir "diagnostics"))
   linting <- testSpec "Linting" (lintingSpec (baseDir "linting"))
   completion <- testSpec "Completion" (codeCompletionSpec (baseDir "completion"))

dhall/ghcjs-src/Dhall/Import/HTTP.hs

@@ -10,11 +10,19 @@ import Control.Monad.IO.Class           (MonadIO (..))
 import Control.Monad.Trans.State.Strict (StateT)
 import Data.ByteString                  (ByteString)
 import Data.CaseInsensitive             (CI)
-import Dhall.Core                       (URL (..), Expr (..))
-import Dhall.Import.Types               (Import, Status)
+import Dhall.Import.Types               (Status)
 import Dhall.Parser                     (Src)
 import Dhall.URL                        (renderURL)
 
+import Dhall.Core
+    ( Import(..)
+    , ImportHashed(..)
+    , ImportMode(..)
+    , ImportType(..)
+    , URL (..)
+    , Expr (..)
+    )
+
 import qualified Data.Text          as Text
 import qualified Data.Text.Encoding as Text.Encoding
 import qualified JavaScript.XHR
@@ -40,13 +48,14 @@ fetchFromHttpUrl childURL Nothing = do
 fetchFromHttpUrl _ _ =
     fail "Dhall does not yet support custom headers when built using GHCJS"
 
-fetchFromHTTPUrlBytes
+fetchFromHttpUrlBytes
     :: URL
     -> Maybe [(CI ByteString, ByteString)]
     -> StateT Status IO ByteString
-fetchFromHTTPUrlBytes childUrl mheader = do
-    text <- fetchFromHTTPUrl childUrl mheader
+fetchFromHttpUrlBytes childUrl mheader = do
+    text <- fetchFromHttpUrl childUrl mheader
     return (Text.Encoding.encodeUtf8 text)
 
 originHeadersFileExpr :: IO (Expr Src Import)
-originHeadersFileExpr = return Missing
+originHeadersFileExpr =
+    return (Embed (Import (ImportHashed Nothing Missing) Code))

dhall/src/Dhall/Syntax/Chunks.hs-boot

@@ -1,3 +1,4 @@
+{-# LANGUAGE NoPolyKinds #-}
 {-# LANGUAGE StandaloneKindSignatures #-}
 
 module Dhall.Syntax.Chunks where

dhall/src/Dhall/Syntax/Types.hs-boot

@@ -1,3 +1,4 @@
+{-# LANGUAGE NoPolyKinds #-}
 {-# LANGUAGE StandaloneKindSignatures #-}
 
 module Dhall.Syntax.Types where