diff options
| author | Sylvain Henry <sylvain@haskus.fr> | 2020-07-27 14:50:37 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-07-28 02:02:27 -0400 |
| commit | 6ee07b494ddd0131d53ea2fd6a4bb29cd05f4dd8 (patch) | |
| tree | cd98755c2466c9fdb6a736a8442d55fa44ac4bf3 /testsuite/tests/numeric | |
| parent | 0bd60059b0edfee9e8f66c6817257bbb946656cd (diff) | |
| download | haskell-6ee07b494ddd0131d53ea2fd6a4bb29cd05f4dd8.tar.gz | |
Bignum: add support for negative shifts (fix #18499)
shiftR/shiftL support negative arguments despite Haskell 2010 report
saying otherwise. We explicitly test for negative values which is bad
(it gets in the way of constant folding, etc.). Anyway, for consistency
we fix Bits instancesof Integer/Natural.
Diffstat (limited to 'testsuite/tests/numeric')
| -rw-r--r-- | testsuite/tests/numeric/should_run/T18499.hs | 27 | ||||
| -rw-r--r-- | testsuite/tests/numeric/should_run/T18499.stdout | 16 | ||||
| -rw-r--r-- | testsuite/tests/numeric/should_run/all.T | 1 |
3 files changed, 44 insertions, 0 deletions
diff --git a/testsuite/tests/numeric/should_run/T18499.hs b/testsuite/tests/numeric/should_run/T18499.hs new file mode 100644 index 0000000000..059057015f --- /dev/null +++ b/testsuite/tests/numeric/should_run/T18499.hs @@ -0,0 +1,27 @@ +import Data.Bits +import Numeric.Natural +import GHC.Exception.Type +import Control.Exception + +main :: IO () +main = do + test ((42 `shiftR` (-1)) :: Integer) + test ((42 `shiftL` (-1)) :: Integer) + test ((42 `shiftR` (-1)) :: Natural) + test ((42 `shiftL` (-1)) :: Natural) + test ((42 `shiftR` (-1)) :: Word) + test ((42 `shiftL` (-1)) :: Word) + test ((42 `shiftR` (-1)) :: Int) + test ((42 `shiftL` (-1)) :: Int) + + test ((42 `unsafeShiftR` 2) :: Integer) + test ((42 `unsafeShiftL` 2) :: Integer) + test ((42 `unsafeShiftR` 2) :: Natural) + test ((42 `unsafeShiftL` 2) :: Natural) + test ((42 `unsafeShiftR` 2) :: Word) + test ((42 `unsafeShiftL` 2) :: Word) + test ((42 `unsafeShiftR` 2) :: Int) + test ((42 `unsafeShiftL` 2) :: Int) + +test :: Show a => a -> IO () +test a = print a `catch` (\Overflow -> putStrLn "Overflow!") diff --git a/testsuite/tests/numeric/should_run/T18499.stdout b/testsuite/tests/numeric/should_run/T18499.stdout new file mode 100644 index 0000000000..7f103dc878 --- /dev/null +++ b/testsuite/tests/numeric/should_run/T18499.stdout @@ -0,0 +1,16 @@ +Overflow! +Overflow! +Overflow! +Overflow! +Overflow! +Overflow! +Overflow! +Overflow! +10 +168 +10 +168 +10 +168 +10 +168 diff --git a/testsuite/tests/numeric/should_run/all.T b/testsuite/tests/numeric/should_run/all.T index ce44e15729..faa4d7c992 100644 --- a/testsuite/tests/numeric/should_run/all.T +++ b/testsuite/tests/numeric/should_run/all.T @@ -70,3 +70,4 @@ test('T15301', normal, compile_and_run, ['-O2']) test('T497', normal, compile_and_run, ['-O']) test('T17303', normal, compile_and_run, ['']) test('T18359', normal, compile_and_run, ['']) +test('T18499', normal, compile_and_run, ['']) |