[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