[m-rev.] for review: type_of/1 and C# foreign exports

[Julien Fischer]

For review by Peter Wang:

(In particular, was the fact that this was originally omitted from the
C# description of foreign_export deliberate or simply an oversight?  I've
tried some examples and it works.)

------------

Branches: main

Describe how to obtain type_infos for use with polymorphic procedures that are
foreign exported to C#.

doc/reference_manual.texi:
 	In the description of C# foreign_exports mention that type_of/1
 	can be used to obtain any type_infos that are required.

 	Begin a sentence on a separate line in the C foreign_export section.

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	15 Jun 2011 01:19:50 -0000
@@ -7676,9 +7676,10 @@
  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
- at samp{type_info} arguments can be obtained using the Mercury @samp{type_of}
-function in the Mercury standard library module @samp{type_desc}.
+corresponding to the types of the other arguments passed.
+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}.

  To use the C declarations produced see @ref{Using pragma foreign_decl for C}.

@@ -7955,6 +7956,9 @@
  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 @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 C#
  @subsubsection Using pragma foreign_decl for C#

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