From 23b158133466f3fd60336672e11f43ffefb0c941 Mon Sep 17 00:00:00 2001
From: Hans Bolinder
Date: Tue, 1 Dec 2015 10:59:04 +0100
Subject: doc: Fix some minor issues in Types and Function Specifications
---
system/doc/reference_manual/typespec.xml | 11 +++++++----
1 file changed, 7 insertions(+), 4 deletions(-)
(limited to 'system/doc/reference_manual')
diff --git a/system/doc/reference_manual/typespec.xml b/system/doc/reference_manual/typespec.xml
index 7891f3a6b9..22627058c1 100644
--- a/system/doc/reference_manual/typespec.xml
+++ b/system/doc/reference_manual/typespec.xml
@@ -197,6 +197,9 @@
char() | 0..16#10ffff |
+ nil() | [] |
+
+
number() | integer() | float() |
@@ -312,7 +315,7 @@
As seen, the basic syntax of a type is an atom followed by closed
parentheses. New types are declared using -type and -opaque
- compiler attributes as in the following:
+ attributes as in the following:
-type my_struct_type() :: Type.
@@ -435,8 +438,8 @@
Specifications for Functions
- A specification (or contract) for a function is given using the new
- compiler attribute -spec. The general format is as follows:
+ A specification (or contract) for a function is given using the
+ -spec attribute. The general format is as follows:
-spec Module:Function(ArgType1, ..., ArgTypeN) -> ReturnType.
@@ -451,7 +454,7 @@
explicitly) import these functions.
- Within a given module, the following shorthand suffice in most cases:
+ Within a given module, the following shorthand suffices in most cases:
-spec Function(ArgType1, ..., ArgTypeN) -> ReturnType.
--
cgit v1.2.3