Added hqptypes-effectful.

This commit is contained in:
Andreas Ländle 2025-11-27 18:22:37 +01:00
parent 1eba72caab
commit 79555c45db

View File

@ -4948,6 +4948,7 @@ packages:
"Jan Synacek <jan.synacek@scrive.com> @jsynacek":
- hpqtypes
- hqptypes-effectful
- hpqtypes-extras
- fields-json
- log-base
@ -8514,6 +8515,7 @@ skipped-tests:
- vec
# @jsynacek
- hpqtypes # needs a running postgres database
- hqptypes-effectful # needs a running postgres database
- hpqtypes-extras # needs a running postgres database
# norfairking
@ -8647,7 +8649,6 @@ skipped-tests:
- colour # tried colour-2.3.6, but its *test-suite* requires QuickCheck >=2.5 && < 2.15 and the snapshot contains QuickCheck-2.16.0.0
- colour # tried colour-2.3.6, but its *test-suite* requires random >=1.0 && < 1.2 and the snapshot contains random-1.3.1
- construct # tried construct-0.3.2, but its *test-suite* requires markdown-unlit >=0.5 && < 0.6 and the snapshot contains markdown-unlit-0.6.0
- consumers # tried consumers-2.3.3.1, but its *test-suite* requires the disabled package: hpqtypes-extras
- copilot-libraries # tried copilot-libraries-4.6, but its *test-suite* requires the disabled package: copilot-theorem
- csg # tried csg-0.1.0.6, but its *test-suite* requires doctest < 0.17 and the snapshot contains doctest-0.24.2
- csg # tried csg-0.1.0.6, but its *test-suite* requires tasty < 1.3 and the snapshot contains tasty-1.5.3