From fe787fb54c28f0ef44f5599f55f5452dffdc9a99 Mon Sep 17 00:00:00 2001 From: Christiaan Baaij Date: Thu, 9 Nov 2023 12:45:50 +0100 Subject: [PATCH] Correct version numbers for *-hedgehog packages (#2603) --- .ci/cabal.project.local | 4 ++-- clash-lib-hedgehog/clash-lib-hedgehog.cabal | 2 +- clash-prelude-hedgehog/clash-prelude-hedgehog.cabal | 2 +- clash-prelude/src/Clash/Prelude/BlockRam.hs | 7 +++++++ tests/clash-testsuite.cabal | 2 +- 5 files changed, 12 insertions(+), 5 deletions(-) diff --git a/.ci/cabal.project.local b/.ci/cabal.project.local index 6441dc4c4e..659253ccbf 100644 --- a/.ci/cabal.project.local +++ b/.ci/cabal.project.local @@ -10,7 +10,7 @@ package * package clash-prelude ghc-options: -Werror - flags: +doctests +multiple-hidden -workaround-ghc-mmap-crash + flags: +doctests -workaround-ghc-mmap-crash tests: True benchmarks: True @@ -48,7 +48,7 @@ package clash-lib-hedgehog package clash-testsuite ghc-options: -Werror -- enable cosim - flags: +cosim +multiple-hidden -workaround-ghc-mmap-crash + flags: +cosim -workaround-ghc-mmap-crash package clash-benchmark ghc-options: -Werror diff --git a/clash-lib-hedgehog/clash-lib-hedgehog.cabal b/clash-lib-hedgehog/clash-lib-hedgehog.cabal index 41192ed733..0302f72d2d 100644 --- a/clash-lib-hedgehog/clash-lib-hedgehog.cabal +++ b/clash-lib-hedgehog/clash-lib-hedgehog.cabal @@ -1,7 +1,7 @@ cabal-version: 2.2 name: clash-lib-hedgehog -version: 1.9.0 +version: 1.8.0 synopsis: Hedgehog Generators for clash-lib description: Hedgehog Generators for clash-lib bug-reports: https://github.com/clash-lang/clash-compiler/issues diff --git a/clash-prelude-hedgehog/clash-prelude-hedgehog.cabal b/clash-prelude-hedgehog/clash-prelude-hedgehog.cabal index 08c34c7672..ff6c1a5535 100644 --- a/clash-prelude-hedgehog/clash-prelude-hedgehog.cabal +++ b/clash-prelude-hedgehog/clash-prelude-hedgehog.cabal @@ -1,7 +1,7 @@ cabal-version: 2.2 name: clash-prelude-hedgehog -version: 1.9.0 +version: 1.8.0 synopsis: Hedgehog Generators for clash-prelude description: Hedgehog Generators for clash-prelude bug-reports: https://github.com/clash-lang/clash-compiler/issues diff --git a/clash-prelude/src/Clash/Prelude/BlockRam.hs b/clash-prelude/src/Clash/Prelude/BlockRam.hs index 7c659fa8ff..e196c8e730 100644 --- a/clash-prelude/src/Clash/Prelude/BlockRam.hs +++ b/clash-prelude/src/Clash/Prelude/BlockRam.hs @@ -846,6 +846,13 @@ readNew (blockRam (0 :> 1 :> Nil)) ... => Signal dom addr -> Signal dom (Maybe (addr, a)) -> Signal dom a +#elif __GLASGOW_HASKELL__ >= 906 && !defined(CLASH_MULTIPLE_HIDDEN) +>>> :t readNew (blockRam (0 :> 1 :> Nil)) +readNew (blockRam (0 :> 1 :> Nil)) + :: ... + ... => + Signal dom addr -> Signal dom (Maybe (addr, a)) -> Signal dom a + #else >>> :t readNew (blockRam (0 :> 1 :> Nil)) readNew (blockRam (0 :> 1 :> Nil)) diff --git a/tests/clash-testsuite.cabal b/tests/clash-testsuite.cabal index 5c7aca3f75..04a6ed5a33 100644 --- a/tests/clash-testsuite.cabal +++ b/tests/clash-testsuite.cabal @@ -28,7 +28,7 @@ flag multiple-hidden experimental feature, possibly triggering confusing error messages. By default, it is enabled on development versions of Clash and disabled on releases. - default: True + default: False manual: True flag workaround-ghc-mmap-crash