add test for #7233

testsuite/tests/numeric/should_run/T7233.hs

+import Data.Int
+import Data.Word
+
+main = do
+  print [5 `div` (minBound+k::Int)    | k <- [0 .. 10]]
+  print [5 `div` (minBound+k::Int8)   | k <- [0 .. 10]]
+  print [5 `div` (minBound+k::Int16)  | k <- [0 .. 10]]
+  print [5 `div` (minBound+k::Int32)  | k <- [0 .. 10]]
+  print [5 `div` (minBound+k::Int64)  | k <- [0 .. 10]]
+  print [5 `quot` (minBound+k::Int)    | k <- [0 .. 10]]
+  print [5 `quot` (minBound+k::Int8)   | k <- [0 .. 10]]
+  print [5 `quot` (minBound+k::Int16)  | k <- [0 .. 10]]
+  print [5 `quot` (minBound+k::Int32)  | k <- [0 .. 10]]
+  print [5 `quot` (minBound+k::Int64)  | k <- [0 .. 10]]

testsuite/tests/numeric/should_run/T7233.stdout

+[-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1]
+[-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1]
+[-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1]
+[-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1]
+[-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1]
+[0,0,0,0,0,0,0,0,0,0,0]
+[0,0,0,0,0,0,0,0,0,0,0]
+[0,0,0,0,0,0,0,0,0,0,0]
+[0,0,0,0,0,0,0,0,0,0,0]
+[0,0,0,0,0,0,0,0,0,0,0]

testsuite/tests/numeric/should_run/all.T

@@ -63,3 +63,5 @@ test('T7014',
      extra_clean(['T7014.simpl']),
      run_command,
      ['$MAKE -s --no-print-directory T7014'])
+
+test('T7233', normal, compile_and_run, [''])