Merge pull request #361 from tweag/dev_ghc_910

Allow GHC 9.10

.github/workflows/nix.yml

@@ -40,11 +40,33 @@ jobs:
         run: nix --print-build-logs build .#packages.${{ matrix.system }}.monad-bayes
       - name: Development environment (package only)
         run: nix --print-build-logs develop .#packages.${{ matrix.system }}.monad-bayes --command echo Ready
-      - name: All GHCs
-        run: nix --print-build-logs build .#packages.${{ matrix.system }}.monad-bayes-all-ghcs
+
+  build-all-ghcs:
+    needs: lint
+    strategy:
+      matrix:
+        ghc: ["ghc902", "ghc927", "ghc945", "ghc964", "ghc982", "ghc9101"]
+        include:
+          - os: ubuntu-latest
+            system: x86_64-linux
+          - os: macos-latest
+            system: x86_64-darwin
+    runs-on: ${{ matrix.os }}
+    steps:
+      - uses: actions/checkout@v4
+      - name: Setup Nix Environment
+        uses: ./.github/actions/nix-common-setup
+        with:
+          CACHIX_AUTH_TOKEN: ${{ secrets.CACHIX_AUTH_TOKEN }}
+      - name: Build
+        run: nix --print-build-logs build .#packages.${{ matrix.system }}.monad-bayes-per-ghc.${{ matrix.ghc }}
+      - name: Development environment (package only)
+        run: nix --print-build-logs develop .#packages.${{ matrix.system }}.monad-bayes-per-ghc.${{ matrix.ghc }} --command echo Ready
 
   notebooks:
-    needs: build
+    needs:
+      - build
+      - build-all-ghcs
     strategy:
       matrix:
         include:

CHANGELOG.md

@@ -1,3 +1,7 @@
+# 1.3.0.3
+
+- Relaxed some version bounds
+
 # 1.3.0.2
 
 - Relaxed some version bounds

flake.nix

@@ -29,7 +29,7 @@
       inputs = {
         flake-compat.follows = "flake-compat";
         flake-utils.follows = "flake-utils";
-       };
+      };
     };
   };
   outputs = {
@@ -75,20 +75,34 @@
             cabal2nixOptions = "--benchmark -fdev";
 
             # https://github.com/tweag/monad-bayes/pull/256: Don't run tests on Mac because of machine precision issues
-            modifier = drv: if system == "x86_64-linux" then drv else pkgs.haskell.lib.dontCheck drv;
-            overrides = self: super: with pkgs.haskell.lib; { # Please check after flake.lock updates whether some of these overrides can be removed
-              brick = super.brick_2_3_1;
-            };
+            modifier = drv:
+              if system == "x86_64-linux"
+              then drv
+              else pkgs.haskell.lib.dontCheck drv;
+            overrides = self: super:
+              with pkgs.haskell.lib;
+                {
+                  # Please check after flake.lock updates whether some of these overrides can be removed
+                  brick = super.brick_2_4;
+                }
+                // lib.optionalAttrs (lib.versionAtLeast super.ghc.version "9.10") {
+                  # Please check after flake.lock updates whether some of these overrides can be removed
+                  microstache = doJailbreak super.microstache;
+                };
           };
-          ghcs = [ # Always keep this up to date with the tested-with section in monad-bayes.cabal!
+          ghcs = [
+            # Always keep this up to date with the tested-with section in monad-bayes.cabal,
+            # and the build-all-ghcs job in .github/workflows/nix.yml!
             "ghc902"
             "ghc927"
             "ghc945"
             "ghc964"
             "ghc982"
+            "ghc9101"
           ];
           buildForVersion = ghcVersion: (builtins.getAttr ghcVersion pkgs.haskell.packages).developPackage opts;
-          in lib.attrsets.genAttrs ghcs buildForVersion;
+        in
+          lib.attrsets.genAttrs ghcs buildForVersion;
 
         monad-bayes = monad-bayes-per-ghc.ghc902;
 

monad-bayes.cabal

@@ -1,13 +1,15 @@
 cabal-version:   2.2
 name:            monad-bayes
-version:         1.3.0.2
+version:         1.3.0.3
 license:         MIT
 license-file:    LICENSE.md
 copyright:       2015-2020 Adam Scibior
 maintainer:      [email protected]
 author:          Adam Scibior <[email protected]>
 stability:       experimental
-tested-with:     GHC ==9.0.2 || ==9.2.7 || ==9.4.5 || ==9.6.4 || ==9.8.2
+tested-with:
+  GHC ==9.0.2 || ==9.2.7 || ==9.4.5 || ==9.6.4 || ==9.8.2 || ==9.10.1
+
 homepage:        http://github.com/tweag/monad-bayes#readme
 bug-reports:     https://github.com/tweag/monad-bayes/issues
 synopsis:        A library for probabilistic programming.
@@ -38,9 +40,9 @@ flag dev
 
 common deps
   build-depends:
-    , base             >=4.15     && <4.20
-    , brick            >=2.3.1    && <2.5
-    , containers       >=0.5.10   && <0.7
+    , base             >=4.15     && <4.21
+    , brick            >=2.3.1    && <2.6
+    , containers       >=0.6      && <0.8
     , foldl            ^>=1.4
     , free             ^>=5.2
     , histogram-fill   ^>=0.9
@@ -71,14 +73,14 @@ common deps
 common test-deps
   build-depends:
     , abstract-par          ^>=0.3
-    , criterion             >=1.5   && <1.7
+    , criterion             >=1.5  && <1.7
     , directory             ^>=1.3
-    , hspec                 >=2.10  && <2.12
+    , hspec                 >=2.10 && <2.12
     , monad-bayes
-    , optparse-applicative  >=0.17  && <0.19
+    , optparse-applicative  >=0.17 && <0.19
     , process               ^>=1.6
-    , QuickCheck            ^>=2.14
-    , time                  >=1.9   && <1.13
+    , QuickCheck            >=2.14 && <2.16
+    , time                  >=1.9  && <1.13
     , typed-process         ^>=0.2
 
   autogen-modules: Paths_monad_bayes

src/Control/Monad/Bayes/Integrator.hs

@@ -42,7 +42,7 @@ import Control.Monad.Cont
     cont,
     runCont,
   )
-import Data.Foldable (Foldable (foldl'))
+import Data.Foldable (Foldable (..))
 import Data.Set (Set, elems)
 import Numeric.Integration.TanhSinh (Result (result), trap)
 import Numeric.Log (Log (ln))
@@ -51,7 +51,7 @@ import Statistics.Distribution.Uniform qualified as Statistics
 -- Prelude exports liftA2 from GHC 9.6 on, see https://github.com/haskell/core-libraries-committee/blob/main/guides/export-lifta2-prelude.md
 -- import Control.Applicative further up can be removed once we don't support GHC <= 9.4 anymore
 
-import Prelude hiding (Applicative (..))
+import Prelude hiding (Applicative (..), Foldable (..))
 
 newtype Integrator a = Integrator {getIntegrator :: Cont Double a}
   deriving newtype (Functor, Applicative, Monad)