aboutsummaryrefslogtreecommitdiffstats
path: root/system/doc/reference_manual/modules.xml
diff options
context:
space:
mode:
Diffstat (limited to 'system/doc/reference_manual/modules.xml')
-rw-r--r--system/doc/reference_manual/modules.xml25
1 files changed, 22 insertions, 3 deletions
diff --git a/system/doc/reference_manual/modules.xml b/system/doc/reference_manual/modules.xml
index 8b14ca3459..0dbc0ab56b 100644
--- a/system/doc/reference_manual/modules.xml
+++ b/system/doc/reference_manual/modules.xml
@@ -4,7 +4,7 @@
<chapter>
<header>
<copyright>
- <year>2003</year><year>2009</year>
+ <year>2003</year><year>2010</year>
<holder>Ericsson AB. All Rights Reserved.</holder>
</copyright>
<legalnotice>
@@ -13,12 +13,12 @@
compliance with the License. You should have received a copy of the
Erlang Public License along with this software. If not, it can be
retrieved online at http://www.erlang.org/.
-
+
Software distributed under the License is distributed on an "AS IS"
basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See
the License for the specific language governing rights and limitations
under the License.
-
+
</legalnotice>
<title>Modules</title>
@@ -167,6 +167,25 @@ fact(0) -> % |
the original user-written file from which the source program
was produced.</p>
</section>
+
+ <section>
+ <title>Types and function specifications</title>
+ <p>A similar syntax as for module attributes is used for
+ specifying types and function specifications.
+ </p>
+ <pre>
+-type my_type() :: atom() | integer().
+-spec my_function(integer()) -> integer().
+ </pre>
+ <p>Read more in <seealso marker="typespec">Types and Function specifications</seealso>.
+ </p>
+ <p>
+ The desciption is based on
+ <url href="http://www.erlang.org/eeps/eep-0008.html">EEP8 -
+ Types and function specifications</url>
+ which will not be further updated.
+ </p>
+ </section>
</section>
<section>