From d2773c400eb83d69449a7c2de4747a8f792dd50d Mon Sep 17 00:00:00 2001
From: sof <unknown>
Date: Sat, 29 Nov 1997 20:40:50 +0000
Subject: [PATCH] [project @ 1997-11-29 20:40:50 by sof] Added Ord instance to
ThreadId; added note saying that thread identifiers are currently not
implemented; renamed readChanContents to getChanContents
---
ghc/docs/libraries/libs.sgml | 13 +++++++------
1 file changed, 7 insertions(+), 6 deletions(-)
diff --git a/ghc/docs/libraries/libs.sgml b/ghc/docs/libraries/libs.sgml
index 7ce5045157ba..4f8b49e15732 100644
--- a/ghc/docs/libraries/libs.sgml
+++ b/ghc/docs/libraries/libs.sgml
@@ -510,7 +510,8 @@ redistribute their implementation of this module.
module Concurrent where
data ThreadId -- thread identifiers
-instance Eq ThreadId
+instance Eq ThreadId
+instance Ord ThreadId
forkIO :: IO () -> IO ThreadId
killThread :: ThreadId -> IO ()
@@ -530,7 +531,7 @@ writeChan :: Chan a -> a -> IO ()
readChan :: Chan a -> IO a
dupChan :: Chan a -> IO (Chan a)
unReadChan :: Chan a -> a -> IO ()
-readChanContents :: Chan a -> IO [a]
+getChanContents :: Chan a -> IO [a]
writeList2Chan :: Chan a -> [a] -> IO ()
data CVar a -- one element channels
@@ -584,10 +585,10 @@ Hugs does not provide the functions <tt/mergeIO/ or <tt/nmergeIO/ since these
require preemptive multitasking.
<item>
-<tt/killThread/ has not been implemented yet on either system.
-The plan is that <tt/killThread/ will raise an IO exception in the
-killed thread which it can catch --- perhaps allowing it to kill its
-children before exiting.
+Thread identities and <tt/killThread/ has not been implemented yet on
+either system. The plan is that <tt/killThread/ will raise an IO
+exception in the killed thread which it can catch --- perhaps allowing -->
+--it to kill its children before exiting.
<item>
The <tt/Ord/ instance for <tt/ThreadId/s provides an arbitrary total ordering
--
GitLab