Data.Some is safe too

ChangeLog.md

@@ -1,6 +1,9 @@
-# 1.0.1.1
+# 1.0.2
 
-- GHC-9.0 compatibility
+- Explicitly mark `Data.Some` as `Safe`.
+  It was previously inferred, yet it was Safe too,
+  as it only re-exports other explicitly marked modules.
+- Allow `base-4.15`, GHC-9.0 compatibility
 
 # 1.0.1
 

some.cabal

@@ -1,5 +1,5 @@
 name:               some
-version:            1.0.1.1
+version:            1.0.2
 stability:          provisional
 cabal-version:      >=1.10
 build-type:         Simple
@@ -70,7 +70,7 @@ library
 
   other-modules:    Data.GADT.Internal
   build-depends:
-      base     >=4.3     && <4.15
+      base     >=4.3     && <4.16
     , deepseq  >=1.3.0.0 && <1.5
 
   if !impl(ghc >=7.8)
@@ -82,6 +82,11 @@ library
       , transformers         >=0.3    && <0.6
       , transformers-compat  >=0.6    && <0.7
 
+  if impl(ghc >= 9.0)
+    -- these flags may abort compilation with GHC-8.10
+    -- https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3295
+    ghc-options: -Winferred-safe-imports -Wmissing-safe-haskell-mode
+
 test-suite hkd-example
   default-language: Haskell2010
   type:             exitcode-stdio-1.0

src/Data/Some.hs

@@ -1,4 +1,9 @@
-{-# LANGUAGE CPP #-}
+{-# LANGUAGE CPP         #-}
+#if __GLASGOW_HASKELL__ >= 704
+{-# LANGUAGE Safe        #-}
+#elif __GLASGOW_HASKELL__ >= 702
+{-# LANGUAGE Trustworthy #-}
+#endif
 -- | An existential type.
 --
 -- The constructor is exported only on GHC-8 and later.