[m-rev.] diff: fix browser directory for non-C backends

[Peter Ross]

Hi,


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


Estimated hours taken: 1
Branches: main

browser/collect_lib.m:
browser/declarative_debugger.m:
browser/declarative_execution.m:
browser/dl.m:
browser/interactive_query.m:
browser/io_action.m:
browser/mdb.m:
browser/name_mangle.m:
browser/util.m:
	Add Mercury versions of code which has been defined only as
	foreign procs so as to allow this directory to compile for
	the non-C backends.
	The Mercury versions just call private_builtin__sorry.

Index: collect_lib.m
===================================================================
RCS file: /home/mercury1/repository/mercury/browser/collect_lib.m,v
retrieving revision 1.8
diff -u -r1.8 collect_lib.m
--- collect_lib.m	22 Jul 2002 07:12:54 -0000	1.8
+++ collect_lib.m	6 Feb 2003 13:35:10 -0000
@@ -135,6 +135,8 @@
 :- pragma foreign_proc("C", set_to_null_pointer(Pointer::out),
 	[will_not_call_mercury, promise_pure, thread_safe],
 "(Pointer = (MR_Word) NULL)").
+set_to_null_pointer(_) :-
+	private_builtin__sorry("collect_lib__set_to_null_pointer").
 
 %------------------------------------------------------------------------------%
 
Index: declarative_debugger.m
===================================================================
RCS file: /home/mercury1/repository/mercury/browser/declarative_debugger.m,v
retrieving revision 1.34
diff -u -r1.34 declarative_debugger.m
--- declarative_debugger.m	3 Feb 2003 05:19:25 -0000	1.34
+++ declarative_debugger.m	6 Feb 2003 13:35:10 -0000
@@ -588,3 +588,5 @@
 	Flag = MR_DD_debug_origin;
 	IO = IO0;
 ").
+debug_origin(_) -->
+	{ private_builtin__sorry("declarative_debugger.debug_origin") }.
Index: declarative_execution.m
===================================================================
RCS file: /home/mercury1/repository/mercury/browser/declarative_execution.m,v
retrieving revision 1.21
diff -u -r1.21 declarative_execution.m
--- declarative_execution.m	13 Sep 2002 04:17:40 -0000	1.21
+++ declarative_execution.m	6 Feb 2003 13:35:10 -0000
@@ -603,6 +603,8 @@
 	SUCCESS_INDICATOR = (Id != (MR_Word) NULL);
 "
 ).
+search_trace_node_store(_, _, _) :-
+	private_builtin__sorry("search_trace_node_store").
 
 	%
 	% Following are some predicates that are useful for
@@ -965,6 +967,10 @@
 "Id = (MR_Word) NULL;"
 ).
 
+null_trace_node_id(_) :-
+	private_builtin__sorry("null_trace_node_id").
+
+
 :- func construct_trace_atom(pred_or_func, string, int) = trace_atom.
 :- pragma export(construct_trace_atom(in, in, in) = out,
 		"MR_DD_construct_trace_atom").
@@ -1099,12 +1105,18 @@
 	[will_not_call_mercury, promise_pure, thread_safe],
 "Key = (MR_Integer) Id;").
 
+node_id_to_key(_, _) :-
+	private_builtin__sorry("node_id_to_key").
+
 :- pred convert_node(trace_node(trace_node_id), trace_node(trace_node_key)).
 :- mode convert_node(in, out) is det.
 
 :- pragma foreign_proc("C", convert_node(N1::in, N2::out),
 	[will_not_call_mercury, promise_pure, thread_safe],
 "N2 = N1;").
+
+convert_node(_, _) :-
+	private_builtin__sorry("convert_node").
 
 	% Given a node in an annotated trace, return a reference to
 	% the preceding node in the trace, or a NULL reference if
Index: dl.m
===================================================================
RCS file: /home/mercury1/repository/mercury/browser/dl.m,v
retrieving revision 1.19
diff -u -r1.19 dl.m
--- dl.m	22 Jul 2002 07:12:54 -0000	1.19
+++ dl.m	6 Feb 2003 13:35:10 -0000
@@ -97,6 +97,8 @@
 	is_null(Pointer::in),
 	[will_not_call_mercury, promise_pure, thread_safe],
 "SUCCESS_INDICATOR = ((void *) Pointer == NULL)").
+is_null(_) :-
+	private_builtin__sorry("dl__is_null").
 
 open(FileName, Mode, Scope, Result) -->
 	dlopen(FileName, Mode, Scope, Pointer),
@@ -132,6 +134,8 @@
 	Result = (MR_Word) NULL;
 #endif
 }").
+dlopen(_, _, _, _) -->
+	{ private_builtin__sorry("dl__dlopen") }.
 
 mercury_sym(Handle, MercuryProc0, Result) -->
 	{ check_proc_spec_matches_result_type(Result, _,
@@ -216,6 +220,9 @@
 	ClosureLayout = (MR_Word) closure_layout;
 }").
 
+make_closure_layout = _ :-
+	private_builtin__sorry("dl__make_closure_layout").
+
 :- func make_closure(c_pointer, c_pointer, int, c_pointer) = c_pointer.
 
 :- pragma foreign_proc("C",
@@ -245,6 +252,9 @@
 	Closure = (MR_Word) closure;
 }").
 
+make_closure(_, _, _, _) = _ :-
+	private_builtin__sorry("dl__make_closure").
+
 :- pragma c_header_code("
 extern MR_Box MR_CALL ML_DL_generic_closure_wrapper(void *closure,
 	MR_Box arg1, MR_Box arg2, MR_Box arg3, MR_Box arg4, MR_Box arg5,
@@ -318,6 +328,8 @@
 "
 	WrapperFuncAddr = (MR_Word) &ML_DL_generic_closure_wrapper;
 ").
+dl__generic_closure_wrapper = _ :-
+	private_builtin__sorry("dl__generic_closure_wrapper").
 
 %
 % Check that the result type matches the information
@@ -447,6 +459,8 @@
 	Pointer = (MR_Word) NULL;
 #endif
 }").
+dlsym(_, _, _) -->
+	{ private_builtin__sorry("dl__dlsym") }.
 
 :- pred dlerror(string::out, io__state::di, io__state::uo) is det.
 :- pragma foreign_proc("C",
@@ -465,6 +479,8 @@
 
 	MR_make_aligned_string_copy(ErrorMsg, msg);
 }").
+dlerror(_) -->
+	{ private_builtin__sorry("dl__dlerror") }.
 
 close(handle(Handle), Result) -->
 	dlclose(Handle), 
@@ -485,6 +501,8 @@
 	dlclose((void *) Handle);
 #endif
 ").
+dlclose(_) -->
+	{ private_builtin__sorry("dl__dlclose") }.
 
 %-----------------------------------------------------------------------------%
 
@@ -499,5 +517,7 @@
 	SUCCESS_INDICATOR = MR_FALSE;
 #endif
 ").
+high_level_code :-
+	private_builtin__sorry("dl__high_level_code").
 
 %-----------------------------------------------------------------------------%
Index: interactive_query.m
===================================================================
RCS file: /home/mercury1/repository/mercury/browser/interactive_query.m,v
retrieving revision 1.17
diff -u -r1.17 interactive_query.m
--- interactive_query.m	27 Sep 2002 03:11:04 -0000	1.17
+++ interactive_query.m	6 Feb 2003 13:35:10 -0000
@@ -477,6 +477,9 @@
 	[thread_safe, will_not_call_mercury],
 	"MR_make_aligned_string(GradeOpt, (MR_String) MR_GRADE_OPT);").
 
+grade_option = _ :-
+	private_builtin__sorry("grade_option").
+
 :- func verbose = bool.
 verbose = no.
 
@@ -577,5 +580,8 @@
 
 :- pragma c_code(inst_cast(X::in) = (Y::out(io_pred)),
 	[will_not_call_mercury, thread_safe], "Y = X").
+
+inst_cast(_) = _ :-
+	private_builtin__sorry("inst_cast").
 
 %-----------------------------------------------------------------------------%
Index: io_action.m
===================================================================
RCS file: /home/mercury1/repository/mercury/browser/io_action.m,v
retrieving revision 1.3
diff -u -r1.3 io_action.m
--- io_action.m	22 Jul 2002 07:12:55 -0000	1.3
+++ io_action.m	6 Feb 2003 13:35:10 -0000
@@ -104,3 +104,6 @@
 
 	S = S0;
 }").
+
+pickup_io_action(_, _, _, _) -->
+	{ private_builtin__sorry("pickup_io_action") }.
Index: mdb.m
===================================================================
RCS file: /home/mercury1/repository/mercury/browser/mdb.m,v
retrieving revision 1.10
diff -u -r1.10 mdb.m
--- mdb.m	15 Oct 2002 07:40:41 -0000	1.10
+++ mdb.m	6 Feb 2003 13:35:10 -0000
@@ -42,5 +42,6 @@
 	*/
 	Version = (MR_String) (MR_Word) version_string;
 ").
+mdb__version("unknown version").
 
 %---------------------------------------------------------------------------%
Index: name_mangle.m
===================================================================
RCS file: /home/mercury1/repository/mercury/browser/name_mangle.m,v
retrieving revision 1.7
diff -u -r1.7 name_mangle.m
--- name_mangle.m	22 Jul 2002 07:12:55 -0000	1.7
+++ name_mangle.m	6 Feb 2003 13:35:10 -0000
@@ -257,6 +257,8 @@
 	SUCCESS_INDICATOR = MR_FALSE;
 #endif
 ").
+use_asm_labels :-
+	private_builtin__sorry("use_asm_labels").
 
 :- pred high_level_code is semidet.
 :- pragma foreign_proc("C", high_level_code,
@@ -268,5 +270,7 @@
 	SUCCESS_INDICATOR = MR_FALSE;
 #endif
 ").
+high_level_code :-
+	private_builtin__sorry("high_level_code").
 
 %-----------------------------------------------------------------------------%
Index: util.m
===================================================================
RCS file: /home/mercury1/repository/mercury/browser/util.m,v
retrieving revision 1.21
diff -u -r1.21 util.m
--- util.m	16 Oct 2002 03:15:21 -0000	1.21
+++ util.m	6 Feb 2003 13:35:10 -0000
@@ -149,6 +149,9 @@
 	IO = IO0;
 ").
 
+call_trace_getline(_, _, _, _, _) -->
+	{ private_builtin__sorry("mdb__util__call_trace_getline") }.
+
 util__trace_get_command(Prompt, Result) -->
 	io__input_stream(MdbIn),
 	io__output_stream(MdbOut),
@@ -177,6 +180,9 @@
 
 	State = State0;
 ").
+
+util__trace_get_command(_, _, _, _) -->
+	{ private_builtin__sorry("mdb__util__trace_get_command/6") }.
 
 util__zip_with(Pred, XXs, YYs, Zipped) :-
 	( (XXs = [], YYs = []) ->

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