diff options
| author | Hans Bolinder <[email protected]> | 2015-12-15 08:55:56 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2015-12-15 08:55:56 +0100 |
| commit | 995f437e6d4d9e1b42a3be1b181c9c52265c4274 (patch) | |
| tree | cba28ce855c02795e43a4dba9eecd51fea03cacf /system | |
| parent | 291f263dfa099bcb4022581b9cc3e4e9473aba2f (diff) | |
| parent | 57a1eebddcbbc4f3f9734fb5cff8f9b40e1b2c2d (diff) | |
| download | otp-995f437e6d4d9e1b42a3be1b181c9c52265c4274.tar.gz otp-995f437e6d4d9e1b42a3be1b181c9c52265c4274.tar.bz2 otp-995f437e6d4d9e1b42a3be1b181c9c52265c4274.zip | |
Merge branch 'hb/stdlib/remove_old_type_syntax/OTP-11879'
* hb/stdlib/remove_old_type_syntax/OTP-11879:
stdlib: Add a comment about is_subtype(_, _) constraints
hipe: Use '::' for constraints
debugger: Use '::' for constraints
doc: Remove 'is_subtype' from Types and Function Specifications
dialyzer: Print constraints using the '::' syntax
stdlib: Remove undocumented function specification syntax
Diffstat (limited to 'system')
| -rw-r--r-- | system/doc/reference_manual/typespec.xml | 13 |
1 files changed, 2 insertions, 11 deletions
diff --git a/system/doc/reference_manual/typespec.xml b/system/doc/reference_manual/typespec.xml index 22627058c1..a238e3135a 100644 --- a/system/doc/reference_manual/typespec.xml +++ b/system/doc/reference_manual/typespec.xml @@ -495,7 +495,8 @@ </p> <pre> -spec id(X) -> X when X :: tuple().</pre> <p> - Currently, the <c>::</c> constraint (read as <c>is_subtype</c>) is + Currently, the <c>::</c> constraint + (read as «is a subtype of») is the only guard constraint that can be used in the <c>'when'</c> part of a <c>'-spec'</c> attribute. </p> @@ -529,16 +530,6 @@ <pre> -spec foo({X, integer()}) -> X when X :: atom() ; ([Y]) -> Y when Y :: number().</pre> - <note> - <p> - For backwards compatibility the following form is also allowed: - </p> - <pre> -spec id(X) -> X when is_subtype(X, tuple()).</pre> - <p> - but its use is discouraged. It will be removed in a future - Erlang/OTP release. - </p> - </note> <p> Some functions in Erlang are not meant to return; either because they define servers or because they are used to |