Add initial scaffolding for WinIO support

Author: Mistuke

CHANGELOG.md

@@ -1,3 +1,8 @@
+## Version 3.3.0.0
+
+* Basic support for WINIO
+  [#509](https://github.com/haskell/network/pull/509)
+
 ## Version 3.2.7.0
 
 * Using nested `bracket` for `gracefulClose`.

Network/Socket/Fcntl.hs

@@ -51,6 +51,7 @@ getCloseOnExec fd = do
 --   Since 2.7.0.0.
 getNonBlock :: CInt -> IO Bool
 #if defined(mingw32_HOST_OS)
+-- | TODO: Query socket for async flag
 getNonBlock _ = return False
 #else
 getNonBlock fd = do

Network/Socket/Handle.hs

@@ -19,6 +19,7 @@ import Network.Socket.Types
 -- Haskell, e.g. merely performing 'hClose' on a TCP socket won't
 -- cooperate with peer's 'gracefulClose', i.e. proper shutdown
 -- sequence with appropriate handshakes specified by the protocol.
+-- TODO: WinIO doesn't use fd, add support
 socketToHandle :: Socket -> IOMode -> IO Handle
 socketToHandle s mode = invalidateSocket s err $ \oldfd -> do
     h <- fdToHandle' oldfd (Just GHC.IO.Device.Stream) True (show s) mode True {-bin-}

cbits/cmsg.c

@@ -38,6 +38,9 @@ WSASendMsg (SOCKET s, LPWSAMSG lpMsg, DWORD flags,
     DWORD len;
     if (WSAIoctl(s, SIO_GET_EXTENSION_FUNCTION_POINTER,
         &WSASendMsgGUID, sizeof(WSASendMsgGUID), &ptr_SendMsg,
+        /* Sadly we can't perform this async for now as C code can't wait for
+           completion events from the Haskell RTS.  This needs to be moved to
+           Haskell on a re-designed async Network.  */
         sizeof(ptr_SendMsg), &len, NULL, NULL) != 0)
       return -1;
   }
@@ -58,6 +61,9 @@ WSARecvMsg (SOCKET s, LPWSAMSG lpMsg, LPDWORD lpdwNumberOfBytesRecvd,
     DWORD len;
     if (WSAIoctl(s, SIO_GET_EXTENSION_FUNCTION_POINTER,
         &WSARecvMsgGUID, sizeof(WSARecvMsgGUID), &ptr_RecvMsg,
+        /* Sadly we can't perform this async for now as C code can't wait for
+           completion events from the Haskell RTS.  This needs to be moved to
+           Haskell on a re-designed async Network.  */
         sizeof(ptr_RecvMsg), &len, NULL, NULL) != 0)
       return -1;
   }

network.cabal

@@ -4,7 +4,6 @@ version:            3.2.7.0
 license:            BSD3
 license-file:       LICENSE
 maintainer:         Kazu Yamamoto, Tamar Christina
-
 tested-with:
     GHC == 9.8.2
     GHC == 9.6.4
@@ -169,12 +168,16 @@ library
             iphlpapi
             mswsock
 
-        if impl(ghc >=7.10)
+        build-depends:   temporary
+
+        if impl(ghc >=7.10 && <9.0)
             cpp-options: -D_WIN32_WINNT=0x0600
             cc-options:  -D_WIN32_WINNT=0x0600
 
-        build-depends:
-            temporary
+        if impl(ghc >=9.0)
+            cpp-options:   -D_WIN32_WINNT=0x0601
+            cc-options:    -D_WIN32_WINNT=0x0601
+            build-depends: Win32 >=2.12.0.1
 
     if impl(ghc >=8)
         default-extensions: Strict StrictData
@@ -202,6 +205,9 @@ test-suite spec
         hspec >=2.6,
         QuickCheck
 
+    if os(windows) && impl(ghc >=9.0)
+        ghc-options: -with-rtsopts=--io-manager=native
+
     if flag(devel)
         cpp-options: -DDEVELOPMENT