From 731f37dbb3acf54994fa571d5957cb1a8c6721c1 Mon Sep 17 00:00:00 2001 From: Mikolaj Konarski Date: Mon, 22 Dec 2025 11:45:06 +0100 Subject: Document how to enable the assertions --- src/Data/Dependent/EnumMap/Strict/Internal.hs | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'src/Data/Dependent/EnumMap/Strict/Internal.hs') diff --git a/src/Data/Dependent/EnumMap/Strict/Internal.hs b/src/Data/Dependent/EnumMap/Strict/Internal.hs index dcad7d1..98fc49c 100644 --- a/src/Data/Dependent/EnumMap/Strict/Internal.hs +++ b/src/Data/Dependent/EnumMap/Strict/Internal.hs @@ -63,6 +63,14 @@ instance (Enum1 k, forall a. Show (k a), forall a. Show (v a)) -- laws in a sufficiently clever way, the internals of 'DEnumMap' may -- 'unsafeCoerce' unequal things and engage nasal demons, including crashes and -- worse. +-- +-- To enable assertions in optimized builds, e.g., for test runs +-- using optimized code, add the following to the cabal.project.local +-- file of your project: +-- +-- > package dependent-enummap +-- > ghc-options: -fno-ignore-asserts + class Enum1 f where type Enum1Info f fromEnum1 :: f a -> (Int, Enum1Info f) -- cgit v1.2.3-70-g09d2