1 files changed, 29 insertions, 0 deletions
diff --git a/testsuite/tests/deSugar/should_compile/T14546a.hs b/testsuite/tests/deSugar/should_compile/T14546a.hs
new file mode 100644
index 0000000000..085ea3ced9
--- /dev/null
+++ b/testsuite/tests/deSugar/should_compile/T14546a.hs
@@ -0,0 +1,29 @@
+main :: IO ()
+main = do
+   case 0::Int of
+      0 -> putStrLn "A"
+      1 -> putStrLn "B"
+      _ -> putStrLn "C"
+
+   case 0::Int of
+      0 -> putStrLn "A"
+      1 -> putStrLn "B"
+      2 -> putStrLn "C"
+
+   case 0::Integer of
+      0 -> putStrLn "A"
+      1 -> putStrLn "B"
+      _ -> putStrLn "C"
+
+   case 0::Integer of
+      0 -> putStrLn "A"
+      1 -> putStrLn "B"
+      2 -> putStrLn "C"
+
+   case 0::Integer of
+      1 -> putStrLn "B"
+      2 -> putStrLn "C"
+
+   case 3::Integer of
+      1 -> putStrLn "B"
+      2 -> putStrLn "C"