[m-rev.] Add inst `list' as a synonym for `list_skel'

[Ralph Becket]

Estimated hours taken: 0.1
Branches: main

library/list.m:
	Aesthetic change: add `list' as a synonym for `list_skel'.

Index: list.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/list.m,v
retrieving revision 1.124
diff -u -r1.124 list.m
--- list.m	19 Oct 2004 22:16:09 -0000	1.124
+++ list.m	3 Nov 2004 23:14:18 -0000
@@ -29,11 +29,11 @@
 %-----------------------------------------------------------------------------%
 
 	% Some declarations for complicated modes using lists.
-	% Partially instantiated mode aren't fully implemented yet,
-	% so don't try to use these.
+	% (Note that partial instantiation is not currently supported.)
 
 :- inst list_skel(I) ---> [] ; [I | list_skel(I)].
 :- inst list_skel == list_skel(free).
+:- inst list(I) == list_skel(I).
 
 :- inst non_empty_list ---> [ground | ground].
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------