[m-rev.] for review: pragma export and model_non procedures

Julien Fischer juliensf at cs.mu.OZ.AU
Mon Dec 20 17:04:56 AEDT 2004


Estimated hours taken: 0.1
Branches: main

doc/reference_manual.texi:
	Mention that :- pragma export cannot be used with
	multi or nondet procedures.

Julien.

Index: reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.301
diff -u -r1.301 reference_manual.texi
--- reference_manual.texi	16 Dec 2004 03:23:12 -0000	1.301
+++ reference_manual.texi	20 Dec 2004 05:53:45 -0000
@@ -7385,6 +7385,9 @@
 be obtained using the Mercury @samp{type_of} function in the Mercury
 standard library module @samp{std_util}.

+It is an error to export Mercury procedures that have a determinism
+of multi or nondet to C.
+
 To use the C declarations produced for @samp{pragma export} declarations
 in C code within a Mercury module, use a @samp{pragma c_import_module}
 declaration, for example

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