File 0833-Fix-timer-sleep-1-spec.patch of Package erlang
From da10132a67a7eec551927ec9413bb2d7f92244d5 Mon Sep 17 00:00:00 2001
From: Maria Scott <maria-12648430@hnc-agency.org>
Date: Wed, 15 Jan 2025 12:42:03 +0100
Subject: [PATCH] Fix timer:sleep/1 spec
---
lib/stdlib/src/timer.erl | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/lib/stdlib/src/timer.erl b/lib/stdlib/src/timer.erl
index e8c1a78e9c..88ca74a601 100644
--- a/lib/stdlib/src/timer.erl
+++ b/lib/stdlib/src/timer.erl
@@ -226,7 +226,7 @@ cancel(_TRef) ->
{error, badarg}.
-spec sleep(Time) -> 'ok'
- when Time :: timeout().
+ when Time :: time() | 'infinity'.
sleep(T)
when is_integer(T),
T > ?MAX_RECEIVE_AFTER ->
--
2.43.0