X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Unsafe%2FCoerce.hs;h=516d7e06b67d231fb8abac514b7032eef2507cfc;hb=3fcc246d4aa1ae8bb9d11eda625d33b40571d943;hp=42567a9fa1d5e6d2b578f6615cc3c98cb31a8322;hpb=0eefbc4ee830758b8982011f2fea2920ea139828;p=ghc-base.git

diff --git a/Unsafe/Coerce.hs b/Unsafe/Coerce.hs
index 42567a9..516d7e0 100644
--- a/Unsafe/Coerce.hs
+++ b/Unsafe/Coerce.hs
@@ -1,4 +1,4 @@
-{-# OPTIONS_GHC -fno-implicit-prelude #-}
+{-# OPTIONS_GHC -XNoImplicitPrelude #-}
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Unsafe.Coerce
@@ -13,11 +13,22 @@
 -- type to any other type.  Needless to say, if you use this function,
 -- it is your responsibility to ensure that the old and new types have
 -- identical internal representations, in order to prevent runtime corruption.
+--
+-- The types for which 'unsafeCoerce' is representation-safe may differ
+-- from compiler to compiler (and version to version).
+--
+--   * Documentation for correct usage in GHC will be found under
+--     'unsafeCoerce#' in GHC.Base (around which 'unsafeCoerce' is just a
+--     trivial wrapper).
+--
+--   * In nhc98, the only representation-safe coercions are between Enum
+--     types with the same range (e.g. Int, Int32, Char, Word32),
+--     or between a newtype and the type that it wraps.
 
 module Unsafe.Coerce (unsafeCoerce) where
 
 #if defined(__GLASGOW_HASKELL__)
-import GHC.Base (unsafeCoerce#)
+import GHC.Prim (unsafeCoerce#)
 unsafeCoerce :: a -> b
 unsafeCoerce = unsafeCoerce#
 #endif