1 files changed, 16 insertions, 0 deletions
diff --git a/testsuite/tests/deriving/should_fail/drvfail003.hs b/testsuite/tests/deriving/should_fail/drvfail003.hs
new file mode 100644
index 0000000000..5d22dc1d4a
--- /dev/null
+++ b/testsuite/tests/deriving/should_fail/drvfail003.hs
@@ -0,0 +1,16 @@
+{-# LANGUAGE FlexibleContexts #-}
+-- Made GHC 5.02.2 go into a loop when doing the
+-- context inference for deriving.  It only happened with
+-- the -fglasgow-exts flag (it didn't diverge without),
+-- so hopefully FlexibleContexts is the relevant extension.
+
+module ShouldFail where
+
+data Empty a = E
+newtype Id a = I a
+newtype Pair v w a = P ((v a), (w a))
+type Square a = Square_ Empty Id a
+data Square_ v w a =
+        End (v (v a))
+      | Zero (Square_ v (Pair w w) a)
+      | One (Square_ (Pair v w) (Pair w w) a) deriving Show