[m-rev.] diff: ref man foreign_export rewording

[Julien Fischer]

Branches: main

doc/user_guide.texi:
 	s/polymorphic type variable/type variable/ in the Java, C#, and
 	Erlang descriptions of foreign_export pragmas.

Julien.

Index: reference_manual.texi
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.464
diff -u -r1.464 reference_manual.texi
--- reference_manual.texi	10 Jun 2011 13:17:45 -0000	1.464
+++ reference_manual.texi	13 Jun 2011 10:34:26 -0000
@@ -7950,12 +7950,11 @@
  call the polymorphic procedures, and export them, rather than exporting the
  polymorphic procedures.

-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 polymorphic 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.
+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.
+The caller must arrange to pass in appropriate @samp{type_info} values
+corresponding to the types of the other arguments passed.

  @node Using pragma foreign_decl for C#
  @subsubsection Using pragma foreign_decl for C#
@@ -8135,12 +8134,12 @@
  call the polymorphic procedures, and export them, rather than exporting the
  polymorphic procedures.

-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 polymorphic 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.
+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.
+The caller must arrange to pass in appropriate @samp{type_info} values
+corresponding to the types of the other arguments passed.
  @c XXX the following won't work while type_descs and type_infos have
  @c different representations in Java.
  @c These @samp{type_info} arguments can
@@ -8286,14 +8285,14 @@
  procedures that call the polymorphic procedures, and export them, rather
  than exporting the polymorphic procedures.

-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 polymorphic 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} function in the Mercury
-standard library module @samp{type_desc}.
+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.
+The caller must arrange to pass in appropriate @samp{type_info} values
+corresponding to the types of the other arguments passed.  These
+ at samp{type_info} arguments can be obtained using the Mercury @samp{type_of}
+function in the Mercury standard library module @samp{type_desc}.

  @node Using pragma foreign_decl for Erlang
  @subsubsection Using pragma foreign_decl for Erlang

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