summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKrzysztof Gogolewski <krzysztof.gogolewski@tweag.io>2022-11-28 18:43:18 +0100
committerKrzysztof Gogolewski <krzysztof.gogolewski@tweag.io>2022-12-06 18:29:16 +0100
commita90bb4fcb3a36c7409f6f584b0ea43be60d2c690 (patch)
tree66ae2b69b643aa3c6aa8ea633f6a5db489bd57a1
parent1a767fa359d22ca7637af41e29434e76487c3f21 (diff)
downloadhaskell-wip/unsafe-reflection.tar.gz
Mark Type.Reflection.Unsafe as Unsafewip/unsafe-reflection
This module can be used to construct ill-formed TypeReps, so it should be Unsafe.
-rw-r--r--libraries/base/Type/Reflection/Unsafe.hs2
-rw-r--r--libraries/base/changelog.md1
2 files changed, 2 insertions, 1 deletions
diff --git a/libraries/base/Type/Reflection/Unsafe.hs b/libraries/base/Type/Reflection/Unsafe.hs
index a109400412..55cb3a84e3 100644
--- a/libraries/base/Type/Reflection/Unsafe.hs
+++ b/libraries/base/Type/Reflection/Unsafe.hs
@@ -12,7 +12,7 @@
-- type representations.
--
-----------------------------------------------------------------------------
-{-# LANGUAGE PolyKinds, DataKinds, ScopedTypeVariables #-}
+{-# LANGUAGE PolyKinds, DataKinds, ScopedTypeVariables, Unsafe #-}
module Type.Reflection.Unsafe (
-- * Type representations
diff --git a/libraries/base/changelog.md b/libraries/base/changelog.md
index 9c259d8c3a..ee712fe27c 100644
--- a/libraries/base/changelog.md
+++ b/libraries/base/changelog.md
@@ -56,6 +56,7 @@
`malloc` for allocation. It avoids the O(n) overhead of maintaining a list
of individually allocated pointers as well as freeing each one of them when
freeing a `Pool`. (#14762) (#18338)
+ * `Type.Reflection.Unsafe` is now marked as unsafe.
## 4.17.0.0 *August 2022*