From 3d86418b496db400d795311ece53f9e632731a94 Mon Sep 17 00:00:00 2001
From: Hans Bolinder
Date: Tue, 13 Oct 2015 14:03:23 +0200
Subject: [dialyzer] Correct documentation
Fix mistakes found by 'xmllint'.
---
lib/dialyzer/doc/src/notes.xml | 32 ++++++++++++++++++--------------
1 file changed, 18 insertions(+), 14 deletions(-)
(limited to 'lib')
diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml
index 9b3a7244f1..aa29684697 100644
--- a/lib/dialyzer/doc/src/notes.xml
+++ b/lib/dialyzer/doc/src/notes.xml
@@ -447,22 +447,28 @@
EEP43: New data type - Maps
- With Maps you may for instance: - M0 =
- #{ a => 1, b => 2}, % create
- associations
- M1 = M0#{ a := 10 }, %
- update values
- M2 = M1#{ "hi" =>
- "hello"}, % add new associations
- #{
- "hi" := V1, a := V2, b := V3} = M2. % match keys with
- values
+ With Maps you may for instance:
+
+ - M0 = #{ a => 1, b => 2}, % create
+ associations
+ - M1 = M0#{ a := 10 }, % update values
+ - M2 = M1#{ "hi" =>
+ "hello"}, % add new associations
+ - #{ "hi" := V1, a := V2, b := V3} = M2.
+ % match keys with values
+
For information on how to use Maps please see Map Expressions in the
Reference Manual.
The current implementation is without the following
- features: - No variable keys
- - No single value access
- No map
- comprehensions
+ features:
+
+ - No variable keys
+ - No single value access
+ - No map comprehensions
+
Note that Maps is experimental during OTP 17.0.
@@ -776,19 +782,17 @@
Own Id: OTP-9731
-
-
No warnings for underspecs with remote
types
Fix crash in Typer
Fix Dialyzer's warning for its own
code
Fix Dialyzer's warnings in
HiPE
Add file/line info in a
particular Dialyzer crash
Update
- inets test results
+ inets test results
Own Id: OTP-9758
-
-
Correct callback spec in application
module
Refine warning about callback
specs with extra ranges
Cleanup
@@ -799,7 +803,7 @@
analysis
Fix crash in
Dialyzer
Variable substitution was
not generalizing any unknown variables.
-
+
Own Id: OTP-9776
--
cgit v1.2.3