From dc94052ca2d418b168afac6cdb314e72bfbf3cf4 Mon Sep 17 00:00:00 2001 From: sof Date: Fri, 14 Aug 1998 13:05:45 +0000 Subject: [PATCH] [project @ 1998-08-14 13:05:45 by sof] Doc fixes --- ghc/lib/misc/Socket.lhs | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/ghc/lib/misc/Socket.lhs b/ghc/lib/misc/Socket.lhs index 249a30c..30bf12e 100644 --- a/ghc/lib/misc/Socket.lhs +++ b/ghc/lib/misc/Socket.lhs @@ -1,5 +1,5 @@ % -% (c) The GRASP/AQUA Project, Glasgow University, 1995, 1996 +% (c) The GRASP/AQUA Project, Glasgow University, 1995-98 % % Last Modified: Fri Jul 21 15:53:32 1995 % Darren J Moffat @@ -42,14 +42,14 @@ import IO %* * %*************************************************************************** -Calling $connectTo$ creates a client side socket which is +Calling @connectTo@ creates a client side socket which is connected to the given host and port. The Protocol and socket type is derived from the given port identifier. If a port number is given -then the result is always an internet family $Stream$ socket. +then the result is always an internet family @Stream@ socket. -If the $PortID$ specifies a unix family socket and the $Hostname$ -differs from that returned by $getHostname$ then an error is -raised. Alternatively an empty string may be given to $connectTo$ +If the @PortID@ specifies a unix family socket and the @Hostname@ +differs from that returned by @getHostname@ then an error is +raised. Alternatively an empty string may be given to @connectTo@ signalling that the current hostname applies. \begin{code} @@ -97,7 +97,7 @@ connectTo _ (UnixSocket path) = do \end{code} -The dual to the $connectTo$ call. This creates the server side +The dual to the @connectTo@ call. This creates the server side socket which has been bound to the specified port. \begin{code} -- 1.7.10.4