5 files changed, 23 insertions, 0 deletions
diff --git a/testsuite/tests/deSugar/should_run/T19680.hs b/testsuite/tests/deSugar/should_run/T19680.hs
new file mode 100644
index 0000000000..881f10dde3
--- /dev/null
+++ b/testsuite/tests/deSugar/should_run/T19680.hs
@@ -0,0 +1,9 @@
+module Main where
+
+main :: IO ()
+main = do
+    let x = -1 :: Integer
+    print $ case x of
+        1  -> "1"
+        -1 -> "-1"
+        _  -> "other"
diff --git a/testsuite/tests/deSugar/should_run/T19680.stdout b/testsuite/tests/deSugar/should_run/T19680.stdout
new file mode 100644
index 0000000000..5a03a99a88
--- /dev/null
+++ b/testsuite/tests/deSugar/should_run/T19680.stdout
@@ -0,0 +1 @@
+"-1"
diff --git a/testsuite/tests/deSugar/should_run/T19680A.hs b/testsuite/tests/deSugar/should_run/T19680A.hs
new file mode 100644
index 0000000000..45d2e86adf
--- /dev/null
+++ b/testsuite/tests/deSugar/should_run/T19680A.hs
@@ -0,0 +1,10 @@
+module Main where
+
+main :: IO ()
+main = do
+    let x = -1e3 :: Rational
+    print $ case x of
+        1e3  -> "1"
+        -1e3 -> "-1"
+        _  -> "other"
+
diff --git a/testsuite/tests/deSugar/should_run/T19680A.stdout b/testsuite/tests/deSugar/should_run/T19680A.stdout
new file mode 100644
index 0000000000..5a03a99a88
--- /dev/null
+++ b/testsuite/tests/deSugar/should_run/T19680A.stdout
@@ -0,0 +1 @@
+"-1"
diff --git a/testsuite/tests/deSugar/should_run/all.T b/testsuite/tests/deSugar/should_run/all.T
index 9d43f94b40..c9ef02c074 100644
--- a/testsuite/tests/deSugar/should_run/all.T
+++ b/testsuite/tests/deSugar/should_run/all.T
@@ -71,3 +71,5 @@ test('T18172', [], ghci_script, ['T18172.script'])
 test('DsDoExprFailMsg', exit_code(1), compile_and_run, [''])
 test('DsMonadCompFailMsg', exit_code(1), compile_and_run, [''])
 test('T19289', normal, compile_and_run, [''])
+test('T19680', normal, compile_and_run, [''])
+test('T19680A', normal, compile_and_run, [''])