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 /src/Data/Dependent | |
| parent | a4ef1be4300872b7a4647a4074cf88294aa905e5 (diff) | |
Diffstat (limited to 'src/Data/Dependent')
| -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 #-} |