From eb4ba18c8df5f2a1a5eb9bed2d84bcf69d448bef Mon Sep 17 00:00:00 2001 From: Marco Perone Date: Fri, 17 Apr 2026 23:00:13 +0200 Subject: [PATCH 1/3] update maintainer address and website --- crem.cabal | 6 +++--- package.yaml | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/crem.cabal b/crem.cabal index f059f02..b858338 100644 --- a/crem.cabal +++ b/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 diff --git a/package.yaml b/package.yaml index 06bcf6f..f586aa1 100644 --- a/package.yaml +++ b/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. From 4b7e0d08eef7a9a432c22057d739cc0a416dbeb8 Mon Sep 17 00:00:00 2001 From: Marco Perone Date: Wed, 8 Jul 2026 16:24:15 +0200 Subject: [PATCH 2/3] enable ghc 912 --- .github/workflows/ci.yml | 2 +- crem.cabal | 15 ++++++++------- nix/haskell-configurations.nix | 1 + package.yaml | 5 +++-- 4 files changed, 13 insertions(+), 10 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 5bb99de..a42f3aa 100644 --- a/.github/workflows/ci.yml +++ b/.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 }} diff --git a/crem.cabal b/crem.cabal index b858338..9352e08 100644 --- a/crem.cabal +++ b/crem.cabal @@ -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 diff --git a/nix/haskell-configurations.nix b/nix/haskell-configurations.nix index b062b59..c157280 100644 --- a/nix/haskell-configurations.nix +++ b/nix/haskell-configurations.nix @@ -15,4 +15,5 @@ { ghcVersion = "96"; } { ghcVersion = "98"; } { ghcVersion = "910"; } + { ghcVersion = "912"; } ] diff --git a/package.yaml b/package.yaml index f586aa1..7d58d78 100644 --- a/package.yaml +++ b/package.yaml @@ -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: From ce3119b950f05b664196c185dca0cec6741192c5 Mon Sep 17 00:00:00 2001 From: Marco Perone Date: Thu, 9 Jul 2026 08:35:47 +0200 Subject: [PATCH 3/3] also export defunctionalization symbols from Topology --- src/Crem/Topology.hs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/Crem/Topology.hs b/src/Crem/Topology.hs index bac62eb..0f6646a 100644 --- a/src/Crem/Topology.hs +++ b/src/Crem/Topology.hs @@ -34,9 +34,11 @@ module Crem.Topology , trivialTopology , sTrivialTopology , TrivialTopology + , TrivialTopologySym0 , allowAllTopology , sAllowAllTopology , AllowAllTopology + , AllowAllTopologySym0 ) where