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

[Peter Ross]

Hi,


===================================================================


Estimated hours taken: 0.2
Branches: main

Fix failure of the tests/hard_coded/nullary_ho_func.m test case which
fails on the IL backend as the type mercury.builtin.void_0 cannot be
found.

library/builtin.m:
	Add a definition of void_0 for the IL backend.

Index: builtin.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/builtin.m,v
retrieving revision 1.83
diff -u -r1.83 builtin.m
--- builtin.m	27 Nov 2002 11:33:59 -0000	1.83
+++ 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
+	{
+	}
+}
+").
+
 :- end_module builtin.
 
 %-----------------------------------------------------------------------------%

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