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 f059f02..9352e08 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 @@ -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 06bcf6f..7d58d78 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. @@ -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: 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