File 1393-Correct-statement-about-warning.patch of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 1393-Correct-statement-about-warning.patch of Package erlang (Revision b921e8aed3aceafaa8c09c18784302db)

Currently displaying revision b921e8aed3aceafaa8c09c18784302db , Show latest

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

Places

File 1393-Correct-statement-about-warning.patch of Package erlang (Revision b921e8aed3aceafaa8c09c18784302db)

Places