[m-dev.] diff: fix bug with store__set_ref_value

[Fergus Henderson]

Estimated hours taken: 0.25

library/store.m:
extras/trailed_update/tr_store.m:
	Fix a bug: the type declaration for `store__set_ref_value'
	was wrong (too general).  The type checker didn't catch
	this because the implementation was `pragma c_code'.

Workspace: /d-drive/home/hg/fjh/ws-hg2/mercury
Index: extras/trailed_update/tr_store.m
===================================================================
RCS file: /home/mercury1/repository/mercury/extras/trailed_update/tr_store.m,v
retrieving revision 1.4
diff -u -d -r1.4 tr_store.m
--- extras/trailed_update/tr_store.m	1999/10/27 05:36:47	1.4
+++ extras/trailed_update/tr_store.m	1999/12/15 17:16:56
@@ -97,8 +97,7 @@
 	% Given a reference to a term (Ref), and a value (Value),
 	% update the store so that the term referred to by Ref
 	% is replaced with Value.
-	% (Argument numbers start from zero).
-:- pred tr_store__set_ref_value(ref(T, S), ArgT, store(S), store(S)).
+:- pred tr_store__set_ref_value(ref(T, S), T, store(S), store(S)).
 :- mode tr_store__set_ref_value(in, mdi, mdi, muo) is det.
 
 	% Given a reference to a term, return that term.
Index: library/store.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/store.m,v
retrieving revision 1.17
diff -u -d -r1.17 store.m
--- library/store.m	1999/11/15 10:12:19	1.17
+++ library/store.m	1999/12/15 17:12:29
@@ -155,8 +155,7 @@
 	% Given a reference to a term (Ref), and a value (Value),
 	% update the store so that the term referred to by Ref
 	% is replaced with Value.
-	% (Argument numbers start from zero).
-:- pred store__set_ref_value(ref(T, S), ArgT, store(S), store(S)).
+:- pred store__set_ref_value(ref(T, S), T, store(S), store(S)).
 :- mode store__set_ref_value(in, di, di, uo) is det.
 
 	% Given a reference to a term, return that term.

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