[m-rev.] diff: new modes for list.foldl etc

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

library/list.m:
 	Add some modes to list.foldl, list.map_foldl and list.map_foldl2
 	required by an experimental branch of G12.

Julien.

Index: library/list.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/list.m,v
retrieving revision 1.170
diff -u -r1.170 list.m
--- library/list.m	23 Nov 2007 07:35:57 -0000	1.170
+++ library/list.m	29 May 2008 06:28:27 -0000
@@ -687,6 +687,7 @@
  :- mode list.foldl(pred(in, di, uo) is det, in, di, uo) is det.
  :- mode list.foldl(pred(in, in, out) is det, in, in, out) is det.
  :- mode list.foldl(pred(in, in, out) is semidet, in, in, out) is semidet.
+:- mode list.foldl(pred(in, di, uo) is semidet, in, di, uo) is semidet.
  :- mode list.foldl(pred(in, in, out) is multi, in, in, out) is multi.
  :- mode list.foldl(pred(in, in, out) is nondet, in, in, out) is nondet.
  :- mode list.foldl(pred(in, di, uo) is cc_multi, in, di, uo) is cc_multi.
@@ -957,6 +958,10 @@
      is cc_multi.
  :- mode list.map_foldl(pred(in, out, in, out) is semidet, in, out, in, out)
      is semidet.
+:- mode list.map_foldl(pred(in, out, di, uo) is semidet, in, out, di, uo)
+    is semidet.
+:- mode list.map_foldl(pred(in, in, di, uo) is semidet, in, in, di, uo)
+    is semidet.
  :- mode list.map_foldl(pred(in, out, in, out) is nondet, in, out, in, out)
      is nondet.

@@ -990,6 +995,10 @@
      in, out, in, out, in, out) is cc_multi.
  :- mode list.map_foldl2(pred(in, out, in, out, in, out) is semidet,
      in, out, in, out, in, out) is semidet.
+:- mode list.map_foldl2(pred(in, out, in, out, di, uo) is semidet,
+    in, out, in, out, di, uo) is semidet.
+:- mode list.map_foldl2(pred(in, in, in, out, di, uo) is semidet,
+    in, in, in, out, di, uo) is semidet.
  :- mode list.map_foldl2(pred(in, out, in, out, in, out) is nondet,
      in, out, in, out, in, out) is nondet.


--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------