diff options
| author | Hans Bolinder <[email protected]> | 2016-01-26 09:20:57 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-01-26 09:20:57 +0100 |
| commit | d5b4f05e4294886492bc9a1e840da8472af60e77 (patch) | |
| tree | 2292c20d2a234a5fdbb82904eda46bdd0f373fb7 /system | |
| parent | 6165f613a5b33aec2b9505a193fe7e309e2be7fd (diff) | |
| parent | f79348f3838c67b1d22b3824e9c6a5b4f91e8395 (diff) | |
| download | otp-d5b4f05e4294886492bc9a1e840da8472af60e77.tar.gz otp-d5b4f05e4294886492bc9a1e840da8472af60e77.tar.bz2 otp-d5b4f05e4294886492bc9a1e840da8472af60e77.zip | |
Merge branch 'lucafavatella/dialyzer-minor-improvements/pr840'
* lucafavatella/dialyzer-minor-improvements/pr840:
Clarify computation of exported types in Dialyzer
Split race_data_server out of dialyzer_callgraph
Refactor dialyzer_analysis_callgraph
Refactor usage of opaques() type
Clarify that dialyzer_callgraph:callgraph() type is opaque
Delete a couple of leftover chars in Dialyzer doc
Diffstat (limited to 'system')
| -rw-r--r-- | system/doc/reference_manual/typespec.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/system/doc/reference_manual/typespec.xml b/system/doc/reference_manual/typespec.xml index a238e3135a..8915302088 100644 --- a/system/doc/reference_manual/typespec.xml +++ b/system/doc/reference_manual/typespec.xml @@ -69,7 +69,7 @@ <p> For integers and atoms, it is allowed for singleton types; for example, the integers - <c>-1</c> and <c>42</c>, or the atoms <c>'foo'</c> and <c>'bar'</c>). + <c>-1</c> and <c>42</c>, or the atoms <c>'foo'</c> and <c>'bar'</c>. All other types are built using unions of either predefined types or singleton types. In a type union between a type and one |