From a2ba1dcea9c04e7a4ba52f29b02a2dc88e1f0c65 Mon Sep 17 00:00:00 2001
From: Thomas Leonard <talex5@gmail.com>
Date: Thu, 23 Jul 2026 16:31:17 +0100
Subject: [PATCH] cohttp-eio: update for new Eio 1.4 getaddrinfo exception

Trying to connect to "http://foo.invalid" now raises
`Eio.Io Net Address_lookup_failed`, not `Failure`.
---
 cohttp-eio/tests/test_forward_proxy.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/cohttp-eio/tests/test_forward_proxy.ml b/cohttp-eio/tests/test_forward_proxy.ml
index d425543a4..da2eda9f8 100644
--- a/cohttp-eio/tests/test_forward_proxy.ml
+++ b/cohttp-eio/tests/test_forward_proxy.ml
@@ -109,7 +109,8 @@ let () =
          https://www.rfc-editor.org/rfc/rfc2606 *)
     let uri = Uri.of_string "http://foo.invalid" in
     match Cohttp_eio.Client.get ~sw client uri with
-    | exception Failure _ ->
+    | exception Failure _
+    | exception Eio.Io (Eio.Net.E _, _) ->
         (* This should fail, since we are not using the proxy *)
         ()
     | unexepcted_resp, _ ->