# HG changeset patch
# User wenzelm
# Date 1544732619 -3600
# Node ID 796e01aba901617f3a650511c6452d2e77a3f8db
# Parent  16fa609a62b1399a82c33066586a9584240e939a
tuned;

diff -r 16fa609a62b1 -r 796e01aba901 src/Tools/Haskell/Haskell.thy
--- a/src/Tools/Haskell/Haskell.thy	Thu Dec 13 21:21:06 2018 +0100
+++ b/src/Tools/Haskell/Haskell.thy	Thu Dec 13 21:23:39 2018 +0100
@@ -1659,20 +1659,20 @@
   where
     open :: IO (Socket, ByteString)
     open = do
-      socket <- Socket.socket Socket.AF_INET Socket.Stream Socket.defaultProtocol
-      Socket.bind socket (Socket.SockAddrInet 0 localhost)
-      Socket.listen socket 50
+      server_socket <- Socket.socket Socket.AF_INET Socket.Stream Socket.defaultProtocol
+      Socket.bind server_socket (Socket.SockAddrInet 0 localhost)
+      Socket.listen server_socket 50
 
-      port <- Socket.socketPort socket
+      port <- Socket.socketPort server_socket
       let address = localhost_name ++ ":" ++ show port
       password <- UUID.random
       publish address password
 
-      return (socket, UUID.bytes password)
+      return (server_socket, UUID.bytes password)
 
     loop :: Socket -> ByteString -> IO ()
-    loop socket password = forever $ do
-      (connection, peer) <- Socket.accept socket
+    loop server_socket password = forever $ do
+      (connection, peer) <- Socket.accept server_socket
       Concurrent.forkFinally
         (do
           line <- Byte_Message.read_line connection