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