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