[m-rev.] for review: document pragma foreign_proc as impure by default

[Tyson Dowd]

Hi,

Here's the documentation changes that go with the implementation.

===================================================================


Estimated hours taken: 0.3
Branches: main

doc/reference_manual.texi:
	Document that pragma foreign_proc is now impure by default.


Index: doc/reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.236
diff -u -r1.236 reference_manual.texi
--- doc/reference_manual.texi	16 Jan 2002 01:13:47 -0000	1.236
+++ doc/reference_manual.texi	21 Jan 2002 00:34:09 -0000
@@ -4896,11 +4896,11 @@
 corresponding to their Mercury types, as determined by language and
 implementation specific rules.
 
- at c All @samp{foreign_proc} implementations are assumed to be impure.
- at c If they are actually pure or semipure, they must be explicitly
- at c promised as such by the user (either by using foreign language
- at c attributes specified below, or a promise_pure or promise_semipure pragma
- at c as specified in @ref{Impurity}.
+All @samp{foreign_proc} implementations are assumed to be impure.
+If they are actually pure or semipure, they must be explicitly
+promised as such by the user (either by using foreign language
+attributes specified below, or a promise_pure or promise_semipure pragma
+as specified in @ref{Impurity}.
 
 Additional restrictions on the foreign language interface code
 depend on the foreign language and compilation options.
@@ -4975,10 +4975,8 @@
 function definition is pure or semipure.
 It is equivalent to a corresponding @samp{pragma promise_pure}
 or @samp{pragma promise_semipure} declaration (@pxref{Impurity}).
-If omitted, the default purity will be used instead (pure, but this is
-expected to change to impure).
- at c If omitted, the clause specified by the @samp{foreign_proc} is
- at c assumed to be impure.
+If omitted, the clause specified by the @samp{foreign_proc} is
+assumed to be impure.
 
 @item @samp{thread_safe}/@samp{not_thread_safe}
 This attribute declares whether or not it is safe for multiple threads


-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't everyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------