From 3acdc9a8844a5f9bddf27379b3e74c2bb94bff5f Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Fri, 29 Mar 2019 17:26:05 -0400 Subject: testsuite: Add testcase for #16111 --- libraries/base/tests/T16111.hs | 13 +++++++++++++ libraries/base/tests/T16111.stderr | 2 ++ libraries/base/tests/all.T | 1 + 3 files changed, 16 insertions(+) create mode 100644 libraries/base/tests/T16111.hs create mode 100644 libraries/base/tests/T16111.stderr diff --git a/libraries/base/tests/T16111.hs b/libraries/base/tests/T16111.hs new file mode 100644 index 0000000000..241714ea13 --- /dev/null +++ b/libraries/base/tests/T16111.hs @@ -0,0 +1,13 @@ +module Main (main) where + +import Data.Bits +import Data.Word + +main :: IO () +main = print $ toInteger (shiftL 1 hm :: Word64) + == toInteger (shiftL 1 hm :: Word64) + +hm :: Int +hm = -1 +{-# NOINLINE hm #-} + diff --git a/libraries/base/tests/T16111.stderr b/libraries/base/tests/T16111.stderr new file mode 100644 index 0000000000..7562f9de58 --- /dev/null +++ b/libraries/base/tests/T16111.stderr @@ -0,0 +1,2 @@ +T16111: arithmetic overflow + diff --git a/libraries/base/tests/all.T b/libraries/base/tests/all.T index dc16246129..86c3ec9477 100644 --- a/libraries/base/tests/all.T +++ b/libraries/base/tests/all.T @@ -235,3 +235,4 @@ test('T10412', normal, compile_and_run, ['']) test('T13896', normal, compile_and_run, ['']) test('T13167', normal, compile_and_run, ['']) test('T15349', [exit_code(1), expect_broken_for(15349, 'ghci')], compile_and_run, ['']) +test('T16111', exit_code(1), compile_and_run, ['']) -- cgit v1.2.1