tuned;

--- a/src/Tools/Haskell/Haskell.thy	Tue Dec 18 15:50:20 2018 +0100
+++ b/src/Tools/Haskell/Haskell.thy	Wed Dec 19 12:26:38 2018 +0100
@@ -1803,7 +1803,7 @@
 
     loop :: Socket -> ByteString -> IO ()
     loop server_socket password = forever $ do
-      (connection, peer) <- Socket.accept server_socket
+      (connection, _) <- Socket.accept server_socket
       Standard_Thread.fork_finally
         (do
           line <- Byte_Message.read_line connection