From 8e8bbf0b100489f8ddb563eb2f7b1ff2423661c7 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Tue, 20 Jan 2026 23:19:03 +0100 Subject: Stress unsafety of the API more in Enum1 docs --- src/Data/Dependent/EnumMap/Strict/Internal.hs | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'src/Data/Dependent/EnumMap') diff --git a/src/Data/Dependent/EnumMap/Strict/Internal.hs b/src/Data/Dependent/EnumMap/Strict/Internal.hs index ddf9405..79d2b52 100644 --- a/src/Data/Dependent/EnumMap/Strict/Internal.hs +++ b/src/Data/Dependent/EnumMap/Strict/Internal.hs @@ -63,10 +63,8 @@ instance (Enum1 k, forall a. Show (k a), forall a. Show (v a)) -- -- __Note__: The methods on 'DEnumMap' attempt to check these laws using -- 'assert' assertions (which are by default __disabled__ when optimisations --- are on!), but full consistency cannot always be checked; if you break these --- laws in a sufficiently clever way, the internals of 'DEnumMap' may --- 'unsafeCoerce' unequal things and engage nasal demons, including crashes and --- worse. +-- are on!), but full consistency cannot always be checked; +-- __if you break these 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 -- cgit v1.2.3-70-g09d2