diff options
| author | Hans Bolinder <[email protected]> | 2015-05-07 15:38:08 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2015-05-08 13:21:45 +0200 |
| commit | e44c3bcfea153cfecb5d096be6fad8f830f91198 (patch) | |
| tree | 8e8cdb3d73f0bb5d7be38ac5e4527a407f0cc917 | |
| parent | 4c1326cff025c3757260063ce2ebac7ab2d76378 (diff) | |
| download | otp-e44c3bcfea153cfecb5d096be6fad8f830f91198.tar.gz otp-e44c3bcfea153cfecb5d096be6fad8f830f91198.tar.bz2 otp-e44c3bcfea153cfecb5d096be6fad8f830f91198.zip | |
dialyzer: document the type identifier()
| -rw-r--r-- | lib/hipe/cerl/erl_types.erl | 13 | ||||
| -rw-r--r-- | system/doc/reference_manual/typespec.xml | 3 |
2 files changed, 3 insertions, 13 deletions
diff --git a/lib/hipe/cerl/erl_types.erl b/lib/hipe/cerl/erl_types.erl index 798212d5f9..14335cf635 100644 --- a/lib/hipe/cerl/erl_types.erl +++ b/lib/hipe/cerl/erl_types.erl @@ -67,7 +67,6 @@ t_cons/2, t_cons_hd/1, t_cons_hd/2, t_cons_tl/1, t_cons_tl/2, - t_constant/0, t_contains_opaque/1, t_contains_opaque/2, t_decorate_with_opaque/3, t_elements/1, @@ -118,7 +117,6 @@ %% t_is_byte/1, %% t_is_char/1, t_is_cons/1, t_is_cons/2, - t_is_constant/1, t_is_equal/2, t_is_fixnum/1, t_is_float/1, t_is_float/2, @@ -1748,17 +1746,6 @@ is_tuple1(_) -> false. t_bitstrlist() -> t_iolist(1, t_bitstr()). -%% XXX. To be removed. --spec t_constant() -> erl_type(). - -t_constant() -> - t_sup([t_number(), t_identifier(), t_atom(), t_fun(), t_binary()]). - --spec t_is_constant(erl_type()) -> boolean(). - -t_is_constant(X) -> - t_is_subtype(X, t_constant()). - -spec t_arity() -> erl_type(). t_arity() -> diff --git a/system/doc/reference_manual/typespec.xml b/system/doc/reference_manual/typespec.xml index 53ef93b60f..0dca743ab3 100644 --- a/system/doc/reference_manual/typespec.xml +++ b/system/doc/reference_manual/typespec.xml @@ -232,6 +232,9 @@ <cell><c>arity()</c></cell><cell><c>0..255</c></cell> </row> <row> + <cell><c>identifier()</c></cell><cell><c>pid() | port() | reference()</c></cell> + </row> + <row> <cell><c>node()</c></cell><cell><c>atom()</c></cell> </row> <row> |