Skip to content

Documentation clarification for Data.List.isSubsequenceOf

In order to clarify the difference between isInfixOf and isSubsequenceOf, I submit a patch which changes the wording from

"The 'isSubsequenceOf' function takes two lists and returns 'True' if the first list is a subsequence of the second list." to "The 'isSubsequenceOf' function takes two lists and returns 'True' if all the elements of the first list occur, in order, in the second. The elements do not have to occur consecutively."

Trac metadata
Trac field Value
Version 7.10.2
Type Bug
TypeOfFailure OtherFailure
Priority lowest
Resolution Unresolved
Component Documentation
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information