Mercury Bugs - mercury
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000205mercuryBugpublic2011-07-21 16:072011-07-23 18:03
Reporteraross 
Assigned Tojuliensf 
PrioritynormalSeveritytextReproducibilityN/A
StatusresolvedResolutionfixed 
PlatformOSOS Version
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.
Relationships
Attached Files

Notes
(0000339)
juliensf   
2011-07-23 18:03   
Fixed in r1.191 of library/array.m.

Issue History
Date ModifiedUsernameFieldChange
2011-07-21 16:07arossNew Issue
2011-07-23 18:03juliensfNote Added: 0000339
2011-07-23 18:03juliensfStatusnew => resolved
2011-07-23 18:03juliensfResolutionopen => fixed
2011-07-23 18:03juliensfAssigned To => juliensf