[m-rev.] for review: new foreign_type syntax

[Fergus Henderson]

On 07-Dec-2001, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> 
>  compiler/prog_data.m:
>  	Remove the foreign type location from the foreign_type pragma,
> -	it is better to make this part of the backend type.
> -	Rename backend as backend_type as it specifies a type in a
> +	it is better to make this part of the foreign_language_type.
> +	Rename backend as foreign_language_type as it specifies a type in a
>  	particular backend.

s/backend/language/

> doc/reference_manual.texi:
> @@ -5033,9 +5033,16 @@
>  However, if @var{MercuryTypeName} is one of the parameters of a
>  foreign_proc for @var{Lang}, it will be passed to that foreign_proc as
>  specified by @var{ForeignTypeDescriptor}.
> +
>  Multiple foreign languages definitions may be given for the same type ---

s/languages definitions/language definitions/
          ^

> +You can use Mercury foreign language interfacing declarations           
> +which specify language X to interface to types that are actually          
> +written in a different language Y provided that X and Y                 
> +have compatible interface conventions.  Support for this kind of
> +compatibility is described in the language specific information below.

s/X/@var{X}/
s/Y/@var{Y}/

> + at node Using pragma foreign_type for C#
> + at subsubsection Using pragma foreign_type for C#
> +
> +There is direct support for using C# types from Mercury, however the

s/is/is no/
s/, however/; however,/

> + at node Using pragma foreign_proc for C#
> + at subsubsection Using pragma foreign_proc for C#
> +
> +
> +
>  
>  

That section looks suspiciously blank.

> + at node Using pragma foreign_type for MC++
> + at subsubsection Using pragma foreign_type for MC++
> +
> +There is direct support for using MC++ types from Mercury, however the
> +types for IL are compatible with MC++, and so the foreign_type
> +support for IL can be used instead.

s/is/is no/
s/, however/; however,/

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------