aboutsummaryrefslogtreecommitdiffstats
path: root/lib/stdlib/doc
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2019-03-21 09:25:16 +0100
committerHans Bolinder <[email protected]>2019-04-12 08:56:38 +0200
commit16055085f761531ed1679c55fdcc14928aec1e1d (patch)
tree88b4d845b9d579b03743284b37e5c25918042670 /lib/stdlib/doc
parentf99398161726821c67d9da07eb869221d4ecf539 (diff)
downloadotp-16055085f761531ed1679c55fdcc14928aec1e1d.tar.gz
otp-16055085f761531ed1679c55fdcc14928aec1e1d.tar.bz2
otp-16055085f761531ed1679c55fdcc14928aec1e1d.zip
stdlib: Add option 'quote_singleton_atom_types' to erl_pp
The new option can be used by Dialyzer, which has traditionally quoted singleton atom types. The OTP team has decided not to use the convention in OTP documentation, at least not for now. That is why the option is needed. EDoc does not use the new option. Syntax Tools does not have a similar option.
Diffstat (limited to 'lib/stdlib/doc')
-rw-r--r--lib/stdlib/doc/src/erl_pp.xml6
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/stdlib/doc/src/erl_pp.xml b/lib/stdlib/doc/src/erl_pp.xml
index f1c3aa5a41..0a46139db6 100644
--- a/lib/stdlib/doc/src/erl_pp.xml
+++ b/lib/stdlib/doc/src/erl_pp.xml
@@ -5,7 +5,7 @@
<header>
<copyright>
<year>1996</year>
- <year>2016</year>
+ <year>2019</year>
<holder>Ericsson AB, All Rights Reserved</holder>
</copyright>
<legalnotice>
@@ -65,6 +65,10 @@
</datatype>
<datatype>
<name name="option"/>
+ <desc>
+ <p>The option <c>quote_singleton_atom_types</c>
+ is used to add quotes to all singleton atom types.</p>
+ </desc>
</datatype>
<datatype>
<name name="options"/>