Merge pull request #7346 from DigitalBrains1/add-clash

Re-enable clash, add clash-prelude-hedgehog
This commit is contained in:
Jens Petersen 2024-03-19 22:55:18 +08:00 committed by GitHub
commit 0f25f85b7d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -2518,8 +2518,9 @@ packages:
- ghc-typelits-knownnat
- ghc-typelits-natnormalise
- clash-prelude
# - clash-lib # https://github.com/commercialhaskell/stackage/issues/7176
# - clash-ghc # https://github.com/commercialhaskell/stackage/issues/7176
- clash-lib
- clash-ghc
- clash-prelude-hedgehog
"Martijn Bastiaan <martijn@hmbastiaan.nl> @martijnbastiaan":
- aeson-pretty