Skip to content

Commit

Permalink
strict-checked-vars: Bump base dependency
Browse files Browse the repository at this point in the history
  • Loading branch information
erikd committed Nov 24, 2023
1 parent 6eb6794 commit 29dc9e0
Show file tree
Hide file tree
Showing 2 changed files with 94 additions and 0 deletions.
4 changes: 4 additions & 0 deletions _sources/strict-checked-vars/0.1.0.3/meta.toml
Original file line number Diff line number Diff line change
Expand Up @@ -5,3 +5,7 @@ subdir = 'strict-checked-vars'
[[revisions]]
number = 1
timestamp = 2023-11-08T10:06:26Z

[[revisions]]
number = 2
timestamp = 2023-11-24T04:55:30Z
90 changes: 90 additions & 0 deletions _sources/strict-checked-vars/0.1.0.3/revisions/2.cabal
Original file line number Diff line number Diff line change
@@ -0,0 +1,90 @@
cabal-version: 3.0
name: strict-checked-vars
version: 0.1.0.3
synopsis:
Strict MVars and TVars with invariant checking for IO and IOSim

description:
Strict @MVar@ and @TVar@ interfaces with invariant checking compatible with
[IO](https://hackage.haskell.org/package/base-4.18.0.0/docs/Prelude.html#t:IO)
& [io-sim](https://hackage.haskell.org/package/io-sim).

license: Apache-2.0
license-files:
LICENSE
NOTICE

copyright: 2019-2023 Input Output Global Inc (IOG).
author: IOG Engineering Team
maintainer: [email protected]
category: Concurrency
build-type: Simple
extra-doc-files:
CHANGELOG.md
README.md

bug-reports: https://github.com/input-output-hk/cardano-base/issues
tested-with: GHC ==8.10 || ==9.2 || ==9.6

source-repository head
type: git
location: https://github.com/input-output-hk/cardano-base
subdir: strict-checked-vars

flag checkmvarinvariants
description: Enable runtime invariant checks on StrictMVars
manual: True
default: False

flag checktvarinvariants
description: Enable runtime invariant checks on StrictTVars
manual: True
default: False

library
hs-source-dirs: src
exposed-modules:
Control.Concurrent.Class.MonadMVar.Strict.Checked
Control.Concurrent.Class.MonadMVar.Strict.Checked.Switch
Control.Concurrent.Class.MonadSTM.Strict.TVar.Checked
Control.Concurrent.Class.MonadSTM.Strict.TVar.Checked.Switch

default-language: Haskell2010
build-depends:
, base >=4.9 && <4.20
, io-classes >=1.2 && <1.4
, strict-mvar >=1.2 && <1.4
, strict-stm >=1.2 && <1.4

ghc-options:
-Wall -Wcompat -Wincomplete-uni-patterns
-Wincomplete-record-updates -Wpartial-fields -Widentities
-Wunused-packages

if flag(checkmvarinvariants)
cpp-options: -DCHECK_MVAR_INVARIANTS

if flag(checktvarinvariants)
cpp-options: -DCHECK_TVAR_INVARIANTS

test-suite test
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: Main.hs
other-modules:
Test.Control.Concurrent.Class.MonadMVar.Strict.Checked
Test.Utils

default-language: Haskell2010
build-depends:
, base >=4.9 && <4.20
, io-sim
, QuickCheck
, strict-checked-vars
, tasty
, tasty-quickcheck

ghc-options:
-Wall -Wcompat -Wincomplete-uni-patterns
-Wincomplete-record-updates -Wpartial-fields -Widentities
-Wunused-packages -fno-ignore-asserts

0 comments on commit 29dc9e0

Please sign in to comment.