Ghc 9.12

.github/workflows/ci.yml

@@ -13,7 +13,7 @@ jobs:
   build:
     strategy:
       matrix:
-        ghc: ['9.0.2', '9.2.8', '9.4.8', '9.6.7', '9.8.4', '9.10.3']
+        ghc: ['9.0.2', '9.2.8', '9.4.8', '9.6.7', '9.8.4', '9.10.3', '9.12.2']
         cabal: ['3.10.2.0', '3.12.1.0', '3.14.2.0', '3.16.1.0']
         os: ['ubuntu-latest']
     runs-on: ${{ matrix.os }}

crem.cabal

@@ -9,10 +9,10 @@ version:        0.1.1.0
 synopsis:       Compositional representable executable machines
 description:    `crem` stands for __c__ompositional __r__epresentable __e__xecutable __m__achines. It allows creating state machines (Mealy machines in fact), compose them to build bigger machines out of smaller ones and then run them and draw their flow and their state space.
 category:       Machines, Control, State Machines
-homepage:       https://github.com/tweag/crem
-bug-reports:    https://github.com/tweag/crem/issues
+homepage:       https://github.com/marcosh/crem
+bug-reports:    https://github.com/marcosh/crem/issues
 author:         Marco Perone
-maintainer:     marco.perone@tweag.io
+maintainer:     pasafama@gmail.com
 copyright:      2022 Tweag I/O
 license:        MIT
 license-file:   LICENSE
@@ -24,6 +24,7 @@ tested-with:
   , GHC ==9.6.7
   , GHC ==9.8.4
   , GHC ==9.10.3
+  , GHC ==9.12.2
 extra-source-files:
     README.md
     CHANGELOG.md
@@ -52,11 +53,11 @@ library
       RoleAnnotations
   ghc-options: -Weverything -Wno-safe -Wno-unsafe -Wno-missing-safe-haskell-mode -Wno-implicit-prelude -Wno-missing-export-lists -Wno-missing-home-modules -Wno-missing-import-lists -Wno-all-missed-specialisations -Wno-prepositive-qualified-module
   build-depends:
-      base >=4.15 && <4.21
+      base >=4.15 && <4.22
     , machines >=0.7.3 && <0.8
     , nothunks >=0.1 && <0.4
     , profunctors >=3.2 && <5.7
-    , singletons-base >=3.0 && <3.5
+    , singletons-base >=3.0 && <3.5.2
     , text >=1.2 && <2.2
   default-language: Haskell2010
   if impl(ghc >= 9.2)
@@ -143,7 +144,7 @@ library crem-examples
       RoleAnnotations
   ghc-options: -Weverything -Wno-safe -Wno-unsafe -Wno-missing-safe-haskell-mode -Wno-implicit-prelude -Wno-missing-export-lists -Wno-missing-home-modules -Wno-missing-import-lists -Wno-all-missed-specialisations -Wno-prepositive-qualified-module
   build-depends:
-      base >=4.15 && <4.21
+      base >=4.15 && <4.22
     , crem
     , profunctors
     , singletons-base
@@ -213,7 +214,7 @@ executable hobbit-game
       RoleAnnotations
   ghc-options: -Weverything -Wno-safe -Wno-unsafe -Wno-missing-safe-haskell-mode -Wno-implicit-prelude -Wno-missing-export-lists -Wno-missing-home-modules -Wno-missing-import-lists -Wno-all-missed-specialisations -Wno-prepositive-qualified-module
   build-depends:
-      base >=4.15 && <4.21
+      base >=4.15 && <4.22
     , crem
     , crem-examples
   default-language: Haskell2010
@@ -281,7 +282,7 @@ executable hobbit-map
       RoleAnnotations
   ghc-options: -Weverything -Wno-safe -Wno-unsafe -Wno-missing-safe-haskell-mode -Wno-implicit-prelude -Wno-missing-export-lists -Wno-missing-home-modules -Wno-missing-import-lists -Wno-all-missed-specialisations -Wno-prepositive-qualified-module
   build-depends:
-      base >=4.15 && <4.21
+      base >=4.15 && <4.22
     , crem
     , crem-examples
     , text
@@ -352,7 +353,7 @@ test-suite crem-doctests
   ghc-options: -Weverything -Wno-safe -Wno-unsafe -Wno-missing-safe-haskell-mode -Wno-implicit-prelude -Wno-missing-export-lists -Wno-missing-home-modules -Wno-missing-import-lists -Wno-all-missed-specialisations -Wno-prepositive-qualified-module -threaded -Wno-unused-packages
   build-depends:
       Cabal
-    , base >=4.15 && <4.21
+    , base >=4.15 && <4.22
     , crem
     , crem-examples
     , doctest-parallel >=0.2.3 && <0.5
@@ -432,7 +433,7 @@ test-suite crem-spec
   build-tool-depends:
       hspec-discover:hspec-discover
   build-depends:
-      base >=4.15 && <4.21
+      base >=4.15 && <4.22
     , crem
     , crem-examples
     , hspec >=2.7 && <2.12

nix/haskell-configurations.nix

@@ -15,4 +15,5 @@
   { ghcVersion = "96"; }
   { ghcVersion = "98"; }
   { ghcVersion = "910"; }
+  { ghcVersion = "912"; }
 ]

package.yaml

@@ -1,13 +1,13 @@
 name:               crem
 version:            0.1.1.0
 author:             Marco Perone
-maintainer:         marco.perone@tweag.io
+maintainer:         pasafama@gmail.com
 copyright:          2022 Tweag I/O
 license:            MIT
 category:           Machines, Control, State Machines
 synopsis:           Compositional representable executable machines
-homepage:           https://github.com/tweag/crem
-bug-reports:        https://github.com/tweag/crem/issues
+homepage:           https://github.com/marcosh/crem
+bug-reports:        https://github.com/marcosh/crem/issues
 description:
   "`crem` stands for __c__ompositional __r__epresentable __e__xecutable
   __m__achines.
@@ -21,6 +21,7 @@ tested-with:
   - GHC ==9.6.7
   - GHC ==9.8.4
   - GHC ==9.10.3
+  - GHC ==9.12.2
 
 extra-source-files:
   - README.md
@@ -115,7 +116,7 @@ ghc-options:
   - -Wno-prepositive-qualified-module  # https://downloads.haskell.org/ghc/latest/docs/users_guide/using-warnings.html#ghc-flag--Wprepositive-qualified-module
 
 dependencies:
-  - base >= 4.15 && < 4.21
+  - base >= 4.15 && < 4.22
 
 library:
   source-dirs:      src
@@ -124,7 +125,7 @@ library:
       - text >= 1.2 && < 2.2
       - nothunks >= 0.1 && < 0.4
       - machines >=0.7.3 && <0.8
-      - singletons-base >= 3.0 && < 3.5
+      - singletons-base >= 3.0 && < 3.5.2
   # Disable adding Paths_crem to other-modules, because it does not conform to our style guide.
   # https://github.com/sol/hpack#handling-of-paths_-modules
   when:

src/Crem/Topology.hs

@@ -34,9 +34,11 @@ module Crem.Topology
   , trivialTopology
   , sTrivialTopology
   , TrivialTopology
+  , TrivialTopologySym0
   , allowAllTopology
   , sAllowAllTopology
   , AllowAllTopology
+  , AllowAllTopologySym0
   )
 where