# HG changeset patch
# User wenzelm
# Date 1627479040 -7200
# Node ID f81d2a1cad69c87ece6e1a60dc72855a3a5aca92
# Parent  adaa2e9a41113e486442648eacd7b0b35195ad00
tuned signature;

diff -r adaa2e9a4111 -r f81d2a1cad69 src/Tools/Haskell/Haskell.thy
--- a/src/Tools/Haskell/Haskell.thy	Wed Jul 28 15:19:09 2021 +0200
+++ b/src/Tools/Haskell/Haskell.thy	Wed Jul 28 15:30:40 2021 +0200
@@ -1769,7 +1769,7 @@
 import qualified Isabelle.YXML as YXML
 
 import Network.Socket (Socket)
-import qualified Network.Socket.ByteString as ByteString
+import qualified Network.Socket.ByteString as Socket
 
 import Isabelle.Library hiding (trim_line)
 import qualified Isabelle.Value as Value
@@ -1778,7 +1778,7 @@
 {- output operations -}
 
 write :: Socket -> [ByteString] -> IO ()
-write = ByteString.sendMany
+write = Socket.sendMany
 
 newline :: ByteString
 newline = ByteString.singleton 10
@@ -1797,7 +1797,7 @@
       if len >= n then return (result ss)
       else
         (do
-          s <- ByteString.recv socket (min (n - len) 8192)
+          s <- Socket.recv socket (min (n - len) 8192)
           case ByteString.length s of
             0 -> return (result ss)
             m -> read_body (len + m) (s : ss))
@@ -1822,7 +1822,7 @@
   where
     result = trim_line . ByteString.pack . reverse
     read_body bs = do
-      s <- ByteString.recv socket 1
+      s <- Socket.recv socket 1
       case ByteString.length s of
         0 -> return (if null bs then Nothing else Just (result bs))
         1 ->