aboutsummaryrefslogtreecommitdiffstats
path: root/lib/stdlib/doc/src/gb_trees.xml
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2015-04-24 14:45:35 +0200
committerHans Bolinder <[email protected]>2015-06-15 12:27:40 +0200
commitdc844097e0828a32b1d53238e3527da1991ed711 (patch)
treed325baff96eae718bf6d9997e7cccb64cef7b0e2 /lib/stdlib/doc/src/gb_trees.xml
parent26ed9f0e4a23985b7a0fbf7d9a38142edaf5c1aa (diff)
downloadotp-dc844097e0828a32b1d53238e3527da1991ed711.tar.gz
otp-dc844097e0828a32b1d53238e3527da1991ed711.tar.bz2
otp-dc844097e0828a32b1d53238e3527da1991ed711.zip
dialyzer: Modify the handling of parametrized opaque types
In OTP 17 it is possible to mix types such as dict:dict() and dict:dict(_, _) outside of the dict module (and similarly for some other opaque types in STDLIB), but the results are unfortunately possibly invalid warnings in users' code. In OTP 18 parameterized opaque types with the same name but with different number of parameters are no longer compatible when seen from outside of the module where the types are declared. The types in STDLIB have been updated accordingly; for instance -opaque dict() :: dict(_, _). has been replaced by -type dict() :: dict(_, _).
Diffstat (limited to 'lib/stdlib/doc/src/gb_trees.xml')
-rw-r--r--lib/stdlib/doc/src/gb_trees.xml6
1 files changed, 0 insertions, 6 deletions
diff --git a/lib/stdlib/doc/src/gb_trees.xml b/lib/stdlib/doc/src/gb_trees.xml
index 82167e1083..99ca2d6a9a 100644
--- a/lib/stdlib/doc/src/gb_trees.xml
+++ b/lib/stdlib/doc/src/gb_trees.xml
@@ -64,9 +64,6 @@
</datatype>
<datatype>
<name name="tree" n_vars="0"/>
- <desc>
- <p><c>tree()</c> is equivalent to <c>tree(term(), term())</c>.</p>
- </desc>
</datatype>
<datatype>
<name name="iter" n_vars="2"/>
@@ -74,9 +71,6 @@
</datatype>
<datatype>
<name name="iter" n_vars="0"/>
- <desc>
- <p><c>iter()</c> is equivalent to <c>iter(term(), term())</c>.</p>
- </desc>
</datatype>
</datatypes>
<funcs>