1 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/tests/gadt/gadt13.hs b/testsuite/tests/gadt/gadt13.hs
new file mode 100644
index 0000000000..bd25262ca6
--- /dev/null
+++ b/testsuite/tests/gadt/gadt13.hs
@@ -0,0 +1,14 @@
+{-# LANGUAGE GADTs #-}
+
+-- This should fail, because there is no annotation on shw,
+-- but it succeeds in 6.4.1
+
+module ShouldFail where
+
+data Term a where
+   B :: Bool -> Term Bool
+   I :: Int  -> Term Int
+
+shw (I t) = ("I "++) . shows t
+-- shw (B t) = ("B "++) . shows t
+