Update Control.Monad.ST.* for Safe Haskell as now they're safe by default
authorDavid Terei <code@davidterei.com>
Thu, 20 Nov 2014 01:58:43 +0000 (17:58 -0800)
committerDavid Terei <code@davidterei.com>
Fri, 21 Nov 2014 21:03:38 +0000 (13:03 -0800)
libraries/base/Control/Monad/ST.hs
libraries/base/Control/Monad/ST/Lazy.hs
libraries/base/Control/Monad/ST/Lazy/Imp.hs
libraries/base/Control/Monad/ST/Lazy/Safe.hs
libraries/base/Control/Monad/ST/Safe.hs
libraries/base/Control/Monad/ST/Strict.hs
libraries/base/Data/STRef/Lazy.hs

index 0d2f58b..8313c2d 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Unsafe #-}
+{-# LANGUAGE Trustworthy #-}
 
 -----------------------------------------------------------------------------
 -- |
@@ -31,5 +31,5 @@ module Control.Monad.ST (
         stToIO,
     ) where
 
-import Control.Monad.ST.Safe
+import Control.Monad.ST.Imp
 
index c212728..ef2e648 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Unsafe #-}
+{-# LANGUAGE Trustworthy #-}
 
 -----------------------------------------------------------------------------
 -- |
@@ -30,5 +30,5 @@ module Control.Monad.ST.Lazy (
         stToIO,
     ) where
 
-import Control.Monad.ST.Lazy.Safe
+import Control.Monad.ST.Lazy.Imp
 
index 80c9fa5..55b28cf 100644 (file)
@@ -38,7 +38,7 @@ module Control.Monad.ST.Lazy.Imp (
 
 import Control.Monad.Fix
 
-import qualified Control.Monad.ST.Safe as ST
+import qualified Control.Monad.ST as ST
 import qualified Control.Monad.ST.Unsafe as ST
 
 import qualified GHC.ST as GHC.ST
index 387313f..9f8e606 100644 (file)
@@ -18,7 +18,7 @@
 --
 -----------------------------------------------------------------------------
 
-module Control.Monad.ST.Lazy.Safe (
+module Control.Monad.ST.Lazy.Safe {-# DEPRECATED "Safe is now the default, please use Control.Monad.ST.Lazy instead" #-} (
         -- * The 'ST' monad
         ST,
         runST,
index 1e9c981..d100832 100644 (file)
@@ -18,7 +18,7 @@
 --
 -----------------------------------------------------------------------------
 
-module Control.Monad.ST.Safe (
+module Control.Monad.ST.Safe {-# DEPRECATED "Safe is now the default, please use Control.Monad.ST instead" #-} (
         -- * The 'ST' Monad
         ST,             -- abstract
         runST,
index 4e474d9..c858548 100644 (file)
@@ -1,3 +1,5 @@
+{-# LANGUAGE Safe #-}
+
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Monad.ST.Strict
index 5134de4..c7c3291 100644 (file)
@@ -23,7 +23,7 @@ module Data.STRef.Lazy (
         modifySTRef
  ) where
 
-import Control.Monad.ST.Lazy.Safe
+import Control.Monad.ST.Lazy
 import qualified Data.STRef as ST
 
 newSTRef    :: a -> ST s (ST.STRef s a)