diff options
author | Tom Smeding <tom@tomsmeding.com> | 2025-02-11 17:59:17 +0100 |
---|---|---|
committer | Tom Smeding <tom@tomsmeding.com> | 2025-02-11 17:59:17 +0100 |
commit | b5ac69674eada517052ee9bb046b9f977c42f330 (patch) | |
tree | c50befabd280e5bb63df6b9c0d5ddd0ddbb762c4 | |
parent | a4ef1be4300872b7a4647a4074cf88294aa905e5 (diff) |
-rw-r--r-- | src/Data/Dependent/EnumMap/Strict/Unsafe.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Data/Dependent/EnumMap/Strict/Unsafe.hs b/src/Data/Dependent/EnumMap/Strict/Unsafe.hs index 4d4a9eb..aaa7790 100644 --- a/src/Data/Dependent/EnumMap/Strict/Unsafe.hs +++ b/src/Data/Dependent/EnumMap/Strict/Unsafe.hs @@ -4,7 +4,7 @@ not type-check keys: they do not check that you don't create two keys with the same 'Int' and different types. As a result, these functions do not have a 'Data.Type.Equality.TestEquality' constraint, and are faster. -Be aware though, because one can easily create @unsafeCoerce@ with this API: +Be careful though, because one can easily create @unsafeCoerce@ with this API: @ {-# LANGUAGE ScopedTypeVariables TypeFamilies #-} |