[m-rev.] diff: fix reference manual mutable description

Julien Fischer juliensf at csse.unimelb.edu.au
Sat Jul 29 22:35:23 AEST 2006


Estimated hours taken: 0.1
Branches: main, release

doc/reference_manual.texi:
 	Fix the description of the mutable access signatures.

Julien.

Index: reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.363
diff -u -r1.363 reference_manual.texi
--- reference_manual.texi	28 Jul 2006 07:18:09 -0000	1.363
+++ reference_manual.texi	29 Jul 2006 12:29:41 -0000
@@ -4751,8 +4751,8 @@
  following signatures:

  @example
-:- semipure get_varname(vartype::out(varinst)) is det.
-:- impure   set_varname(vartype::in(varinst)) is det.
+:- semipure pred get_varname(vartype::out(varinst)) is det.
+:- impure   pred set_varname(vartype::in(varinst)) is det.
  @end example

  The initial value of @samp{varname} is @samp{initial_value}, which is set
@@ -4790,10 +4790,10 @@
  This attribute causes the compiler to construct
  only a @samp{get} access predicate, but not a @samp{set} access predicate.
  Since @samp{varname} will always have the initial value given to it,
-the @samp{get} access predicate is pure; its signature will be
+the @samp{get} access predicate is pure; its signature will be:

  @example
-:- get_varname(vartype::out(varinst)) is det.
+:- pred get_varname(vartype::out(varinst)) is det.
  @end example

  The @samp{constant} attribute cannot be specified together with

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------



More information about the reviews mailing list