From e99ada0adf2bcf236a70ee0ca4e4614a6dd8c1bb Mon Sep 17 00:00:00 2001
From: Daniel Rivas <daniel@silicoai.com>
Date: Wed, 21 Feb 2024 14:19:14 +0000
Subject: [PATCH] Change http `Timeout` error to specify duration

---
 platform/Http.roc         | 4 ++--
 platform/InternalHttp.roc | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/platform/Http.roc b/platform/Http.roc
index 60de22e7..4d107358 100644
--- a/platform/Http.roc
+++ b/platform/Http.roc
@@ -125,7 +125,7 @@ handleStringResponse : Response -> Result Str Error
 handleStringResponse = \response ->
     when response is
         BadRequest err -> Err (BadRequest err)
-        Timeout -> Err Timeout
+        Timeout ms -> Err (Timeout ms)
         NetworkError -> Err NetworkError
         BadStatus metadata _ -> Err (BadStatus metadata.statusCode)
         GoodStatus _ bodyBytes ->
@@ -141,7 +141,7 @@ errorToString : Error -> Str
 errorToString = \err ->
     when err is
         BadRequest e -> "Invalid Request: $(e)"
-        Timeout -> "Request timed out"
+        Timeout ms -> "Request timed out ($(Num.toStr ms)ms)"
         NetworkError -> "Network error"
         BadStatus code -> Str.concat "Request failed with status " (Num.toStr code)
         BadBody details -> Str.concat "Request failed. Invalid body. " details
diff --git a/platform/InternalHttp.roc b/platform/InternalHttp.roc
index 0b8037a6..fec6f45f 100644
--- a/platform/InternalHttp.roc
+++ b/platform/InternalHttp.roc
@@ -26,7 +26,7 @@ Body : [
 
 Response : [
     BadRequest Str,
-    Timeout,
+    Timeout U64,
     NetworkError,
     BadStatus Metadata (List U8),
     GoodStatus Metadata (List U8),
@@ -41,7 +41,7 @@ Metadata : {
 
 Error : [
     BadRequest Str,
-    Timeout,
+    Timeout U64,
     NetworkError,
     BadStatus U16,
     BadBody Str,