[m-rev.] trivial diff: more library fixes

[Peter Ross]

Hi,


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


Estimated hours taken: 0.25
Branches: main

library/string.m:
	Change the mode annotations for the MC++ code for string__to_char_list,
	to reflect the actual annotations.

library/table_builtin.m:
	Add some missing pragma semipure declarations.



Index: string.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/string.m,v
retrieving revision 1.171
diff -u -r1.171 string.m
--- string.m	14 Jun 2002 10:16:51 -0000	1.171
+++ string.m	24 Jun 2002 10:46:05 -0000
@@ -843,7 +843,7 @@
 	}
 }").
 
-:- pragma foreign_proc("MC++", string__to_char_list(Str::in, CharList::out),
+:- pragma foreign_proc("MC++", string__to_char_list(Str::in, CharList::uo),
 		[will_not_call_mercury, promise_pure, thread_safe], "{
         MR_Integer length, i; 
         MR_Word tmp;
@@ -860,7 +860,7 @@
         CharList = tmp;
 }").
 
-:- pragma foreign_proc("MC++", string__to_char_list(Str::out, CharList::in),
+:- pragma foreign_proc("MC++", string__to_char_list(Str::uo, CharList::in),
 		[will_not_call_mercury, promise_pure, thread_safe], "{
         System::Text::StringBuilder *tmp;
 	MR_Char c;
Index: table_builtin.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/table_builtin.m,v
retrieving revision 1.18
diff -u -r1.18 table_builtin.m
--- table_builtin.m	15 Jun 2002 16:53:37 -0000	1.18
+++ table_builtin.m	24 Jun 2002 10:46:06 -0000
@@ -1453,36 +1453,42 @@
 	impure private_builtin__imp,
 	private_builtin__sorry("table_save_any_ans").
 
+:- pragma promise_semipure(table_restore_int_ans/3).
 table_restore_int_ans(_, _, _) :-
 	% This version is only used for back-ends for which there is no
 	% matching foreign_proc version.
 	impure private_builtin__imp,
 	private_builtin__sorry("table_restore_int_ans").
 
+:- pragma promise_semipure(table_restore_char_ans/3).
 table_restore_char_ans(_, _, _) :-
 	% This version is only used for back-ends for which there is no
 	% matching foreign_proc version.
 	impure private_builtin__imp,
 	private_builtin__sorry("table_restore_char_ans").
 
+:- pragma promise_semipure(table_restore_string_ans/3).
 table_restore_string_ans(_, _, _) :-
 	% This version is only used for back-ends for which there is no
 	% matching foreign_proc version.
 	impure private_builtin__imp,
 	private_builtin__sorry("table_restore_string_ans").
 
+:- pragma promise_semipure(table_restore_float_ans/3).
 table_restore_float_ans(_, _, _) :-
 	% This version is only used for back-ends for which there is no
 	% matching foreign_proc version.
 	impure private_builtin__imp,
 	private_builtin__sorry("table_restore_float_ans").
 
+:- pragma promise_semipure(table_restore_io_state_ans/3).
 table_restore_io_state_ans(_, _, _) :-
 	% This version is only used for back-ends for which there is no
 	% matching foreign_proc version.
 	impure private_builtin__imp,
 	private_builtin__sorry("table_restore_io_state_ans").
 
+:- pragma promise_semipure(table_restore_any_ans/3).
 table_restore_any_ans(_, _, _) :-
 	% This version is only used for back-ends for which there is no
 	% matching foreign_proc version.

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