Documentation for init in Prelude requires finite list
The documentation for the init function at http://haskell.org/ghc/docs/latest/html/libraries/base/Prelude.html#v:init says that the argument to init must be finite. However, any implementation which actually makes use of this assumption is needlessly strict, so I don't see any reason to document the restriction finite lists. Instead, for infinite xs, it should be the case that init xs == xs (and this is what the current implementation does).
Trac metadata
Trac field | Value |
---|---|
Version | 6.10.4 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Documentation |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |