diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-12-22 11:45:06 +0100 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-12-22 11:45:06 +0100 |
| commit | 731f37dbb3acf54994fa571d5957cb1a8c6721c1 (patch) | |
| tree | 5cebfcf049869929a8da8c30d081de308e08953b /src/Data/Dependent | |
| parent | 18eea16c22fdd6027c5b6a380ba5e8884bf02c34 (diff) | |
Document how to enable the assertions
Diffstat (limited to 'src/Data/Dependent')
| -rw-r--r-- | src/Data/Dependent/EnumMap/Strict/Internal.hs | 8 |
1 files changed, 8 insertions, 0 deletions
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) |