[m-dev.] diff: small fixes for high-level C and MR_ prefixes.

Tyson Dowd trd at cs.mu.OZ.AU
Mon Aug 7 16:10:04 AEST 2000


Hi,

Looks like I broke high-level C a bit with recent changes.

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


Estimated hours taken: 1

Fixes for high-level C code backend and MR_ prefixes on types.

runtime/mercury.h:
	Make sure mercury_bootstrap.h is included.

runtime/mercury_init.h:
	Change the type of ML_io_print_to_stream and
	ML_io_print_to_cur_stream as the final argument is actually
	MR_Box not MR_Word.



Index: runtime/mercury.h
===================================================================
RCS file: /home/mercury1/repository/mercury/runtime/mercury.h,v
retrieving revision 1.18
diff -u -r1.18 mercury.h
--- runtime/mercury.h	2000/08/03 13:57:22	1.18
+++ runtime/mercury.h	2000/08/06 13:46:59
@@ -27,6 +27,7 @@
 #include "mercury_std.h"
 #include "mercury_type_info.h"
 #include "mercury_ho_call.h"	/* for the `MR_Closure' type */
+#include "mercury_bootstrap.h"
 
 #ifdef CONSERVATIVE_GC
   #include "gc.h"
Index: runtime/mercury_init.h
===================================================================
RCS file: /home/mercury1/repository/mercury/runtime/mercury_init.h,v
retrieving revision 1.23
diff -u -r1.23 mercury_init.h
--- runtime/mercury_init.h	2000/08/03 06:18:46	1.23
+++ runtime/mercury_init.h	2000/08/06 13:49:14
@@ -116,8 +116,8 @@
 extern	void	ML_io_stdout_stream(MR_Word *);
 extern	void	ML_io_stdin_stream(MR_Word *);
 
-extern	void	ML_io_print_to_stream(MR_Word, MR_Word, MR_Word);
-extern	void	ML_io_print_to_cur_stream(MR_Word, MR_Word);
+extern	void	ML_io_print_to_stream(MR_Word, MR_Word, MR_Box);
+extern	void	ML_io_print_to_cur_stream(MR_Word, MR_Box);
 
 /* in trace/mercury_trace_internal.h */
 extern	char	*MR_trace_getline(const char *, FILE *mdb_in, FILE *mdb_out);


-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't everyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list