summaryrefslogtreecommitdiff
path: root/lib/dialyzer/doc/src/notes.xml
diff options
context:
space:
mode:
authorHenrik Nord <henrik@erlang.org>2022-03-24 11:48:08 +0100
committerHenrik Nord <henrik@erlang.org>2022-03-24 11:48:08 +0100
commitd5ee0b4e6f436041b82f76ca5e24e39d8b153f66 (patch)
treefe16f7bde9efc4454440ff23cfaa8d14bff9bd6a /lib/dialyzer/doc/src/notes.xml
parente44c54a96d5ad6ecc9ca7239d0ed51ed27bffbde (diff)
downloaderlang-d5ee0b4e6f436041b82f76ca5e24e39d8b153f66.tar.gz
Revert "Prepare release"
This reverts commit 435bc5e68dd45ff6f7992077998930519208e910.
Diffstat (limited to 'lib/dialyzer/doc/src/notes.xml')
-rw-r--r--lib/dialyzer/doc/src/notes.xml80
1 files changed, 0 insertions, 80 deletions
diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml
index 4badb4c6f2..6a40990d7d 100644
--- a/lib/dialyzer/doc/src/notes.xml
+++ b/lib/dialyzer/doc/src/notes.xml
@@ -32,86 +32,6 @@
<p>This document describes the changes made to the Dialyzer
application.</p>
-<section><title>Dialyzer 5.0</title>
-
- <section><title>Fixed Bugs and Malfunctions</title>
- <list>
- <item>
- <p>Fixed a bug that could cause the type analyzer to
- enter an infinite loop.</p>
- <p>
- *** POTENTIAL INCOMPATIBILITY ***</p>
- <p>
- Own Id: OTP-17644 Aux Id: PR-5223 </p>
- </item>
- </list>
- </section>
-
-
- <section><title>Improvements and New Features</title>
- <list>
- <item>
- <p>
- Optimize operations in the <c>erl_types</c> module.
- Parallelize the Dialyzer pass <c>remote</c>.</p>
- <p>
- Own Id: OTP-17524</p>
- </item>
- <item>
- <p>Added the <c>missing_return</c> and
- <c>extra_return</c> options to raise warnings when
- specifications differ from inferred types. These are
- similar to, but not quite as verbose as <c>overspecs</c>
- and <c>underspecs</c>.</p>
- <p>
- Own Id: OTP-17654 Aux Id: GH-5214 </p>
- </item>
- <item>
- <p>The <c>race_conditions</c> option has been
- removed.</p>
- <p>
- Own Id: OTP-17819</p>
- </item>
- <item>
- <p>
- The default location of the plt has been changed from
- <c>$HOME</c> to
- <c>filename:basedir(user_cache,"erlang")</c>.</p>
- <p>
- *** POTENTIAL INCOMPATIBILITY ***</p>
- <p>
- Own Id: OTP-17821 Aux Id: GH-5016 PR-5408 OTP-17554 </p>
- </item>
- <item>
- <p><c>dialyzer</c> will now honor dependencies inside
- type declarations. That is, if the declaration of an
- exported type changes, all modules using said type will
- be revisited.</p>
- <p>
- Own Id: OTP-17826 Aux Id: PR-5498 </p>
- </item>
- <item>
- <p>Dialyzer now better understands the types for
- <c>min/2</c>, <c>max/2</c>, and <c>erlang:raise/3</c>.
- Because of that, Dialyzer can potentially generate new
- warnings. In particular, functions that use
- <c>erlang:raise/3</c> could now need a spec with a
- <c>no_return()</c> return type to avoid an unwanted
- warning.</p>
- <p>
- Own Id: OTP-17897 Aux Id: PR-5651 </p>
- </item>
- <item>
- <p>The <c>typer_core</c> module has been added to provide
- an Erlang API for running <c>typer</c>.</p>
- <p>
- Own Id: OTP-17964 Aux Id: PR-5660 </p>
- </item>
- </list>
- </section>
-
-</section>
-
<section><title>Dialyzer 4.4.4</title>
<section><title>Fixed Bugs and Malfunctions</title>