[m-rev.] diff: fix bootstrap problem with mercury_init.h

Peter Ross peter.ross at miscrit.be
Tue May 14 19:34:40 AEST 2002


On Tue, May 14, 2002 at 08:38:05AM +0000, Peter Ross wrote:
> 
> Estimated hours taken: 0.5
> Branches: main
> 
> runtime/mercury_init.h:
>     Foreign types are now exported as MR_Box on the MLDS backends,
>     reflect this in the function prototypes.
> 

Index: mercury_init.h
===================================================================
RCS file: /home/mercury1/repository/mercury/runtime/mercury_init.h,v
retrieving revision 1.34
diff -u -r1.34 mercury_init.h
--- mercury_init.h	24 Feb 2002 11:53:32 -0000	1.34
+++ mercury_init.h	14 May 2002 08:36:10 -0000
@@ -113,11 +113,21 @@
 extern	void	mercury_init_io(void);
 extern	void	ML_io_init_state(void);
 extern	void	ML_io_finalize_state(void);
-extern	void	ML_io_stderr_stream(MR_Word *);
-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);
+#ifdef MR_HIGHLEVEL_CODE
+  extern	void	ML_io_stderr_stream(MR_Box *);
+  extern	void	ML_io_stdout_stream(MR_Box *);
+  extern	void	ML_io_stdin_stream(MR_Box *);
+
+  extern	void	ML_io_print_to_stream(MR_Word, MR_Box, MR_Word);
+#else
+  extern	void	ML_io_stderr_stream(MR_Word *);
+  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);
+#endif
+
 extern	void	ML_io_print_to_cur_stream(MR_Word, MR_Word);
 
 /* in trace/mercury_trace_internal.h */

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



More information about the reviews mailing list