[m-rev.] diff: fix purity errors in table_builtin.m

Fergus Henderson fjh at cs.mu.OZ.AU
Mon Aug 2 11:39:53 AEST 2004


Estimated hours taken: 1
Branches: main

library/table_builtin.m:
	Fix some purity errors that showed up for backends that don't
	support the C interface.

Workspace: /home/jupiter/fjh/ws-jupiter/mercury
Index: library/table_builtin.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/table_builtin.m,v
retrieving revision 1.39
diff -u -d -r1.39 table_builtin.m
--- library/table_builtin.m	20 Jul 2004 04:41:13 -0000	1.39
+++ library/table_builtin.m	2 Aug 2004 01:35:50 -0000
@@ -1038,28 +1038,28 @@
 ").
 
 table_mmos_save_inputs :-
-	private_builtin__imp.
+	impure private_builtin__imp.
 
 table_mmos_setup_consumer(_, _, Consumer) :-
-	private_builtin__imp,
+	impure private_builtin__imp,
 	% Required only to avoid warnings; never executed.
 	private_builtin__unsafe_type_cast(0, Consumer).
 
 table_mmos_get_answer_table(_, TrieNode) :-
-	private_builtin__imp,
+	semipure private_builtin__semip,
 	% Required only to avoid warnings; never executed.
 	private_builtin__unsafe_type_cast(0, TrieNode).
 
 table_mmos_create_answer_block(_, _, AnswerBlock) :-
-	private_builtin__imp,
+	impure private_builtin__imp,
 	% Required only to avoid warnings; never executed.
 	private_builtin__unsafe_type_cast(0, AnswerBlock).
 
 table_mmos_return_answer(_, _) :-
-	private_builtin__imp.
+	impure private_builtin__imp.
 
 table_mmos_completion(_) :-
-	private_builtin__imp.
+	impure private_builtin__imp.
 
 %-----------------------------------------------------------------------------%
 

-- 
Fergus Henderson                    |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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