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(-) 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