diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2026-01-20 23:19:03 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2026-01-20 23:19:15 +0100 |
| commit | 8e8bbf0b100489f8ddb563eb2f7b1ff2423661c7 (patch) | |
| tree | 7afb15c28a3a0ef38d49da5f381dde6df65e1fac /src/Data/Dependent | |
| parent | d9baf98bf0b6e231fcef17ea89155c2676c1cfa1 (diff) | |
Stress unsafety of the API more in Enum1 docs
Diffstat (limited to 'src/Data/Dependent')
| -rw-r--r-- | src/Data/Dependent/EnumMap/Strict/Internal.hs | 6 |
1 files changed, 2 insertions, 4 deletions
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 |