From a90bb4fcb3a36c7409f6f584b0ea43be60d2c690 Mon Sep 17 00:00:00 2001 From: Krzysztof Gogolewski Date: Mon, 28 Nov 2022 18:43:18 +0100 Subject: Mark Type.Reflection.Unsafe as Unsafe This module can be used to construct ill-formed TypeReps, so it should be Unsafe. --- libraries/base/Type/Reflection/Unsafe.hs | 2 +- libraries/base/changelog.md | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) 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* -- cgit v1.2.1