[m-rev.] diff: add C# void_0 type definition

[Fergus Henderson]

On 18-Dec-2002, Peter Ross <pro at missioncriticalit.com> wrote:
> +++ builtin.m	18 Dec 2002 15:34:00 -0000
> @@ -1043,6 +1043,21 @@
>  
>  ").
>  
> +%-----------------------------------------------------------------------------%
> +
> +% 
> +% A definition of the Mercury type void/0 is needed because we can generate
> +% references to it in code.  See tests/hard_coded/nullary_ho_func.m for an
> +% example of code which does.
> +%
> +:- pragma foreign_decl("C#", "
> +namespace mercury.builtin {
> +	public class void_0
> +	{
> +	}
> +}
> +").

This should have a private constructor, to ensure that no instances
of the class can be created.

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