[m-rev.] diff: update ref. man. for non-C foreign exports

[Julien Fischer]

Branches: main

Fix some things related to non-C foreign_exports in the reference manual.

doc/reference_manual.texi:
 	Uncomment the description of how to use type_of/1 to obtain the extra
 	type_info arguments for Java foreign exports.  (As of r1.64 of
 	library/type_desc.m, type_descs and type_infos are interchangeable
 	for the Java backend, so this now works.)

 	Mention that the extra arguments prepended to the argument listed
 	of exported procedures for the C#, Java and Erlang backends correspond
 	to _distinct_ type variables.

Julien.

Index: reference_manual.texi
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.465
diff -u -r1.465 reference_manual.texi
--- reference_manual.texi	13 Jun 2011 10:39:14 -0000	1.465
+++ reference_manual.texi	14 Jun 2011 13:13:25 -0000
@@ -7952,7 +7952,8 @@

  If you do export a polymorphically typed Mercury procedure, the compiler will
  prepend one @samp{type_info} argument to the parameter list of the C# interface
-function for each type variable in the Mercury procedure's type signature.
+function for each distinct type variable in the Mercury procedure's type
+signature.
  The caller must arrange to pass in appropriate @samp{type_info} values
  corresponding to the types of the other arguments passed.

@@ -8136,15 +8137,13 @@

  If you do export a polymorphically typed Mercury procedure, the compiler will
  prepend one @samp{type_info} argument to the parameter list of the Java
-interface function for each type variable in the Mercury procedure's type
-signature.
+interface function for each distinct type variable in the Mercury procedure's
+type signature.
  The caller must arrange to pass in appropriate @samp{type_info} values
  corresponding to the types of the other arguments passed.
- at c XXX the following won't work while type_descs and type_infos have
- at c different representations in Java.
- at c These @samp{type_info} arguments can
- at c be obtained using the Mercury @samp{type_of} function in the Mercury
- at c standard library module @samp{type_desc}.
+These @samp{type_info} arguments can be obtained using the Mercury
+ at samp{type_of} function in the Mercury standard library module
+ at samp{type_desc}.

  @node Using pragma foreign_decl for Java
  @subsubsection Using pragma foreign_decl for Java
@@ -8287,8 +8286,8 @@

  If you do export a polymorphically typed Mercury procedure, the compiler will
  prepend one @samp{type_info} argument to the parameter list of the Erlang
-interface function for each type variable in the Mercury procedure's type
-signature.
+interface function for each distinct type variable in the Mercury procedure's
+type signature.
  The caller must arrange to pass in appropriate @samp{type_info} values
  corresponding to the types of the other arguments passed.  These
  @samp{type_info} arguments can be obtained using the Mercury @samp{type_of}

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