File 0891-Correct-statement-about-warning.patch of Package erlang
From 719874d3f087049c5c9b1c3279f5b86ac4ee1556 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org>
Date: Tue, 8 Feb 2022 13:29:19 +0100
Subject: [PATCH] Correct statement about warning
Dialyzer will warn for overlapping domains, not the compiler.
Closes #5663
---
system/doc/reference_manual/typespec.xml | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/system/doc/reference_manual/typespec.xml b/system/doc/reference_manual/typespec.xml
index 45dfd004b7..295c3e1998 100644
--- a/system/doc/reference_manual/typespec.xml
+++ b/system/doc/reference_manual/typespec.xml
@@ -538,8 +538,7 @@
; (T4, T5) -> T6.</pre>
<p>
A current restriction, which currently results in a warning
- (not an error) by the compiler, is that the domains of
- the argument types cannot overlap.
+ by Dialyzer, is that the domains of the argument types cannot overlap.
For example, the following specification results in a warning:
</p>
<pre>
--
2.34.1