[GHC] #2533: Generic functions that take integral arguments should
work the same way as their prelude counterparts
GHC
trac at galois.com
Thu Aug 21 22:40:07 EDT 2008
#2533: Generic functions that take integral arguments should work the same way as
their prelude counterparts
-------------------------+--------------------------------------------------
Reporter: japple | Owner:
Type: proposal | Status: new
Priority: normal | Component: libraries/base
Version: 6.8.3 | Severity: normal
Keywords: | Testcase:
Architecture: Unknown | Os: Unknown
-------------------------+--------------------------------------------------
The Prelude functions drop, take, and splitAt are unfailing (never call
error). This patch changes the Data.List generic versions to behave the
same way. At present, they call error on negative arguments.
quickCheck (\x n -> take n x == genericTake n x)
quickCheck (\x n -> drop n x == genericDrop n x)
quickCheck (\x n -> splitAt n x == genericSplitAt n x)
The library submission procedures say
If the changes update Haddoc [sic] documentation, also attach the
resulting Haddock-generated pages.
Haddock fails on the file because of existing CPP commands.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2533>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the Glasgow-haskell-bugs
mailing list