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

[Peter Ross]

On Thu, Dec 19, 2002 at 02:47:52AM +1100, Fergus Henderson wrote:
> This should have a private constructor, to ensure that no instances
> of the class can be created.
> 


Estimated hours taken: 0.2
Branches: main

library/builtin.m:
	Make the constructor of the void_0 type private so as to
	ensure that no instances of the class can every be created.

Index: builtin.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/builtin.m,v
retrieving revision 1.84
diff -u -r1.84 builtin.m
--- builtin.m	18 Dec 2002 15:36:23 -0000	1.84
+++ builtin.m	18 Dec 2002 16:06:02 -0000
@@ -1054,6 +1054,11 @@
 namespace mercury.builtin {
 	public class void_0
 	{
+		// Make the constructor private to ensure that we can
+		// never create an instance of this class.
+		private void_0()
+		{
+		}
 	}
 }
 ").

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