[m-rev.] for review: fix description of foreign_name mutable attribute

Julien Fischer juliensf at cs.mu.OZ.AU
Thu Jun 22 11:52:34 AEST 2006


Estimated hours taken: 0.5
Branches: main, release

doc/reference_manual.texi:
	Fix the description of the foreign_name mutable attribute.  For the
	high-level C backend the C type of the mutable will not always be
	MR_Word.

	s/preceeding/preceding/

Julien.

Index: reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.355
diff -u -r1.355 reference_manual.texi
--- reference_manual.texi	14 Jun 2006 08:14:50 -0000	1.355
+++ reference_manual.texi	22 Jun 2006 01:48:03 -0000
@@ -4819,7 +4819,14 @@

 For the C backends this attribute allows foreign code to access
 the mutable variable as an external variable called @samp{Name}.
-This variable has type @samp{MR_Word}.
+For the low-level C backend, e.g. the asm_fast grades, the type of this
+variable will be @code{MR_Word}.
+For the high-level C backend, e.g. the hlc grades, the type of this variable
+depends upon the Mercury type of the mutable.  For mutables of the Mercury
+types @code{int}, @code{float}, @code{char} and @code{string}, the
+corresponding C types will be @code{MR_Integer}, @code{MR_Float},
+ at code{MR_Char} and @code{MR_String} respectively.  For mutables of any other
+type the corresponding C type will be @code{MR_Word}.

 This attribute is not currently implemented for the non-C backends.

@@ -8700,7 +8707,7 @@
 @var{Func} to be semipure, respectively.

 Type class methods may also be declared as @code{impure} or
- at code{semipure} by preceeding the word @code{pred} or @code{func} with the
+ at code{semipure} by preceding the word @code{pred} or @code{func} with the
 appropriate purity level.  An instance of the type class must provide
 method implementations that are at least as pure as the method
 declaration.

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list