2024-07-15 09:18 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000205mercuryBugpublic2011-07-23 18:03
Assigned Tojuliensf 
Product Version 
Target VersionFixed in Version 
Summary0000205: Documentation of array.foldr2 references non-existent list.foldr2
DescriptionThe documentation of array.foldr2 says:

"array.foldr2(P, Array, !Acc1, !Acc2) is equivalent to list.foldr2(P, array.to_list(Array), !Acc1, !Acc2) but more efficient."

but list.foldr2 doesn't exist - there's only list.foldr and list.foldl2.

Perhaps it should instead use the description of list.foldl2 with s/list.foldl/array.foldr/g
TagsNo tags attached.
Attached Files




juliensf (administrator)

Fixed in r1.191 of library/array.m.

-Issue History
Date Modified Username Field Change
2011-07-21 16:07 aross New Issue
2011-07-23 18:03 juliensf Note Added: 0000339
2011-07-23 18:03 juliensf Status new => resolved
2011-07-23 18:03 juliensf Resolution open => fixed
2011-07-23 18:03 juliensf Assigned To => juliensf
+Issue History