diff options
| -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 |