diff: store.m documentation

Fergus Henderson fjh at cs.mu.oz.au
Thu Nov 27 15:19:43 AEDT 1997


library/store.m:
	Add some more documentation.

Index: store.m
===================================================================
RCS file: /home/staff/zs/imp/mercury/library/store.m,v
retrieving revision 1.6
diff -u -u -r1.6 store.m
--- store.m	1997/09/29 09:04:35	1.6
+++ store.m	1997/11/27 04:18:03
@@ -44,6 +44,9 @@
 % different store, the behaviour is undefined.
 % This will hopefully be rectified in some future version when
 % Mercury does support existential types.
+% Note that you should NOT refer to the `some_store_type' in your
+% own code; instead, you should make sure your code uses a
+% polymorphic type variable (e.g. `S') for the store type.
 
 :- type store(S).
 

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   WWW: <http://www.cs.mu.oz.au/~fjh>  
Note: due to some buggy software and a (probably accidental)
denial-of-service attack, any mail sent to me between
	Tue Nov 25 20:00:00 UTC (6am Wed, local time)
and	Wed Nov 26 06:00:00 UTC (4pm, local time)
may have gone into the bit-bucket.  Please re-send it.



More information about the developers mailing list