From d869f2fcfac24f46966e444feebad4e227d05c27 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Tue, 8 May 2007 08:17:12 +0000 Subject: [PATCH] improve documentation for evaluate --- GHC/Exception.lhs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/GHC/Exception.lhs b/GHC/Exception.lhs index 073e7a9..fd28004 100644 --- a/GHC/Exception.lhs +++ b/GHC/Exception.lhs @@ -111,7 +111,10 @@ unblock (IO io) = IO $ unblockAsyncExceptions# io -- > evaluate x >>= f ==> (return $! x) >>= f -- -- /Note:/ the first equation implies that @(evaluate x)@ is /not/ the --- same as @(return $! x)@. +-- same as @(return $! x)@. A correct definition is +-- +-- > evaluate x = (return $! x) >>= return +-- evaluate :: a -> IO a evaluate a = IO $ \s -> case a `seq` () of () -> (# s, a #) -- NB. can't write -- 1.7.10.4