Opened 3 years ago

Closed 3 years ago

#9870 closed task (fixed)

Document deviation of Data.List.splitAt from Report semantics

Reported by: dfeuer Owned by:
Priority: normal Milestone: 7.10.1
Component: Documentation Version: 7.9
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Documentation bug Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s): Phab:D562
Wiki Page:


Data.List.splitAt is strict in its first argument. The Report specifies that splitAt n xs = (take n xs, drop n xs). This should be noted in the user's guide.

Change History (2)

comment:1 Changed 3 years ago by Austin Seipp <austin@…>

In 8b480d3192e6eff6183934d7bbcc2054611c3651/ghc:

Document splitAt deviation from the Report

`splitAt` is stricter than the Report specifies, so we should
say so.

Reviewers: hvr, austin

Reviewed By: austin

Subscribers: carter, thomie

Projects: #ghc

Differential Revision:

GHC Trac Issues: #9870

comment:2 Changed 3 years ago by thoughtpolice

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.