Age | Commit message (Collapse) | Author |
|
It is harder to remove is_subtype from the parser since the abstract
format does not separate is_subtype from the '::' syntax.
|
|
|
|
|
|
|
|
|
|
Language cleaned up by the technical writers xsipewe and tmanevik
from Combitech. Proofreading and corrections by Hans Bolinder.
|
|
The -dialyzer() attribute can be used for suppressing warnings in a
module by specifying functions or warning options. It can also be used
for requesting warnings in a module.
|
|
* mururu/typespec-doc-about-function/OTP-12327:
Add infometion about function()
|
|
|
|
|
|
|
|
improper_list(Type1, Type2) has been replaced by
nonempty_improper_list(Type1, Type2).
|
|
* maint:
Correct documentation of predefined types
crypto: Add ticket for 5d8a13bb6a180e0a
|
|
The documentation of predefined types has been corrected
Thanks to Kostis Sagonas.
|
|
* maint:
Correct documentation of predefined and built-in types
|
|
iodata/0, arity/0, and nonempty_list/0,1 have been added;
nonempty_maybe_improper_list/1 and maybe_improper_list/1 removed.
|
|
|
|
Prompted by noticing that the type language description was a bit vague
in its explanation of the syntax and semantics of bitstring types,
I decided to add this information. While at it, a general clean up and
rephrasing was performed. The binary() type is now described as an alias,
as it should be, and a bitstring() type is also described as a built-in
alias.
|
|
The code related to the introduction of unicode_string() and
unicode_char() has been removed. The types char() and string() have
been extended to include Unicode characters.
In fact char() was changed some time ago; this commit is about
cleaning up the documentation and introduce better names for some
functions.
|
|
|
|
|
|
The latest additions to the extension of Erlang used for describing
types and specifications have been documented. There are new compiler
attributes such as -opaque and -export_all as well as an alternative
syntax for subtype constraints ('::' instead of is_subtype/2).
|
|
|
|
|
|
|
|
reference manual.<br/>Note!, they are still preliminary.
|