summaryrefslogtreecommitdiff
path: root/src/Data/Dependent
diff options
context:
space:
mode:
Diffstat (limited to 'src/Data/Dependent')
-rw-r--r--src/Data/Dependent/EnumMap/Strict/Internal.hs8
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)