File 0591-stdlib-remove-unnecessary-undefined-from-records.patch of Package erlang
From e9a07aeaeff49dbee8ce5a5bffb519079681c3b1 Mon Sep 17 00:00:00 2001
From: Kiko Fernandez-Reyes <kiko@erlang.org>
Date: Fri, 13 Jan 2023 15:32:01 +0100
Subject: [PATCH] stdlib: remove unnecessary undefined from records
---
lib/stdlib/src/supervisor.erl | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/lib/stdlib/src/supervisor.erl b/lib/stdlib/src/supervisor.erl
index 5779f41948..f008676f12 100644
--- a/lib/stdlib/src/supervisor.erl
+++ b/lib/stdlib/src/supervisor.erl
@@ -132,16 +132,16 @@
-type child_rec() :: #child{}.
-record(state, {name,
- strategy :: strategy() | 'undefined',
+ strategy = one_for_one:: strategy(),
children = {[],#{}} :: children(), % Ids in start order
dynamics :: {'maps', #{pid() => list()}}
| {'mapsets', #{pid() => []}}
| 'undefined',
- intensity :: non_neg_integer() | 'undefined',
- period :: pos_integer() | 'undefined',
+ intensity = 1 :: non_neg_integer(),
+ period = 5 :: pos_integer(),
restarts = [],
dynamic_restarts = 0 :: non_neg_integer(),
- auto_shutdown :: auto_shutdown(),
+ auto_shutdown = never :: auto_shutdown(),
module,
args}).
-type state() :: #state{}.
--
2.35.3
