From 25ab719cfaf42d196287fec2171bf3eefb845b62 Mon Sep 17 00:00:00 2001
From: Hans Bolinder
Date: Wed, 30 Apr 2014 09:11:34 +0200
Subject: dialyzer: Introduce module local suppression of warnings
The -dialyzer() attribute can be used for suppressing warnings in a
module by specifying functions or warning options. It can also be used
for requesting warnings in a module.
---
system/doc/reference_manual/typespec.xml | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)
(limited to 'system/doc/reference_manual/typespec.xml')
diff --git a/system/doc/reference_manual/typespec.xml b/system/doc/reference_manual/typespec.xml
index e4aa2ceda6..d1584d2b98 100644
--- a/system/doc/reference_manual/typespec.xml
+++ b/system/doc/reference_manual/typespec.xml
@@ -264,8 +264,10 @@
its violation results in a compilation error.
- The following built-in list types also exist,
- but they are expected to be rarely used. Hence, they have long names:
+
+ The following built-in list types also exist,
+ but they are expected to be rarely used. Hence, they have long names:
+
nonempty_maybe_improper_list() :: nonempty_maybe_improper_list(any(), any())
@@ -504,7 +506,9 @@
-spec foo({X, integer()}) -> X when X :: atom()
; ([Y]) -> Y when Y :: number().
+
For backwards compatibility the following form is also allowed:
+
-spec id(X) -> X when is_subtype(X, tuple()).
but its use is discouraged. It will be taken out in a future
--
cgit v1.2.3