[project @ 1999-01-24 14:44:00 by sof]

[ghc-hetmet.git] / ghc / docs / libraries / IOExts.sgml

diff --git a/ghc/docs/libraries/IOExts.sgml b/ghc/docs/libraries/IOExts.sgml
index faa0a23..2af0789 100644 (file)
--- a/ghc/docs/libraries/IOExts.sgml
+++ b/ghc/docs/libraries/IOExts.sgml
@@ -20,10 +20,12 @@ for opening binary files.
 <tt/performGC/ triggers an immediate garbage collection
 
 <item>
-When called, <tt/trace/ prints the string in its first argument, and then
-returns the second argument as its result.  The <tt/trace/ function is not
-referentially transparent, and should only be used for debugging, or for
-monitoring execution. 
+When called, <tt/trace/ prints the string in its first argument to
+standard error, before returning the second argument as its result.
+The <tt/trace/ function is not referentially transparent, and should
+only be used for debugging, or for monitoring execution. Some
+implementations of <tt/trace/ may decorate the string that's output
+to indicate that you're tracing.
 
 <!--
   You should also be warned that, unless you understand some of the
@@ -56,12 +58,6 @@ simplified memoisation function:
 >               return a
 </verb></tscreen>
 
-<item>
-Operations for coercing an <tt/ST/ action into an <tt/IO/ one, and
-vice versa are also provided. Notice that coercing an <tt/IO action
-into an <tt/ST/ action is 'lossy', since any exception raised within the
-<tt/IO/ action will not be caught within the <tt/ST/ monad, as it
-doesn't support (monadic) exceptions.
 </itemize>
 
 <tscreen><verb>
@@ -96,7 +92,5 @@ performGC           :: IO ()
 trace               :: String -> a -> a
 unsafePtrEq         :: a -> a -> Bool
 
-unsafeIOToST       :: IO   a -> ST s a
-stToIO              :: ST s a -> IO a
 </verb></tscreen>