src/Tools/Haskell/Haskell.thy

 
       return (server_socket, UUID.bytes password)
 
     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
           when (line == Just password) $ handle connection)
         (\finally -> do