fixing the MacOS build (#2586)

* no-op change just to test the build

* wip add explicit homebrew command for libsodium

* wip

* Revert "wip add explicit homebrew command for libsodium"

This reverts commit ada55e1.

* wip

* bump ci

* change a to b

* Revert "change a to b"

This reverts commit ab71435.

* reinstall libsodium

* Revert "Revert "change a to b""

This reverts commit 81631fc.

* remove libsodium override as it does not work

* wip

* wip

* use macos-14-large

* remove hnix override

* wip

* wip

* use macos-14-latest

* use macos-13

* respond to comments from mmhut

* try with macos-latest once again

* revert dummy change

* add macos-13

Author: winitzki

.github/workflows/main.yml

@@ -13,6 +13,10 @@ jobs:
             archive-command: 'tar --create --bzip2 --file'
             file-extension: 'tar.bz2'
             executable-extension: ''
+          - runner: 'macos-13'
+            archive-command: 'tar --create --bzip2 --file'
+            file-extension: 'tar.bz2'
+            executable-extension: ''
           - runner: 'ubuntu-latest'
             archive-command: 'tar --create --bzip2 --file'
             file-extension: 'tar.bz2'
@@ -37,7 +41,7 @@ jobs:
           submodules: true
       - id: setup-haskell-cabal
         name: "Setup Haskell environment"
-        uses: haskell-actions/setup@v2.5
+        uses: haskell-actions/setup@v2.7
         with:
           enable-stack: true
           stack-version: "latest"

dhall/src/Dhall/Eval.hs

@@ -122,7 +122,7 @@ instance Semigroup (VChunks a) where
   VChunks xys z <> VChunks [] z' = VChunks xys (z <> z')
   VChunks xys z <> VChunks ((x', y'):xys') z' = VChunks (xys ++ (z <> x', y'):xys') z'
 
-instance Monoid (VChunks a) where
+instance Monoid (VChunks b) where
   mempty = VChunks [] mempty
 
 {-| Some information is lost when `eval` converts a `Lam` or a built-in function