[m-rev.] for review: reference manual clarifications and fixes

Ian MacLarty maclarty at csse.unimelb.edu.au
Fri Jun 10 16:52:36 AEST 2011

On Fri, Jun 10, 2011 at 04:26:14PM +1000, Julien Fischer wrote:
> For review by anyone.
> (I have another upcoming change that further extends the description
> of foreign_export pragmas for C by adding some examples and also covering
> what happens with existential types.)
> Branches: main
> Fix some reference manual things related to the foreign language interface.
> doc/reference_manual.texi:
> 	s/C code/foreign code/ in the description of the may_call_mercury
> 	attribute.
> 	Make it clear that MR_Integer is a signed type.
> 	Update the descriptions of MR_String and MR_Char.
> 	In the description of foreign_export pragmas for C, don't
> 	describe type variables as polymorphic.  Also mention that
> 	the compiler prepends on extra argument for each _distinct_
> 	type variable.

Looks fine.

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

More information about the reviews mailing list