From af9130d171ceea8862f0e3804b2f13b64684c0f2 Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Fri, 12 Nov 1999 12:51:20 +0000
Subject: [PATCH] [project @ 1999-11-12 12:51:20 by simonpj] Add
 existential-deriving test

---
 ghc/tests/typecheck/should_fail/tcfail086.hs     |    7 +++++++
 ghc/tests/typecheck/should_fail/tcfail086.stderr |    7 +++++++
 2 files changed, 14 insertions(+)
 create mode 100644 ghc/tests/typecheck/should_fail/tcfail086.hs
 create mode 100644 ghc/tests/typecheck/should_fail/tcfail086.stderr

diff --git a/ghc/tests/typecheck/should_fail/tcfail086.hs b/ghc/tests/typecheck/should_fail/tcfail086.hs
new file mode 100644
index 0000000..2457996
--- /dev/null
+++ b/ghc/tests/typecheck/should_fail/tcfail086.hs
@@ -0,0 +1,7 @@
+{-# OPTIONS -fglasgow-exts #-}
+
+-- !!! Check that we can't derive instances of existential types
+module ShouldFail where
+
+data Ex = forall a. Ex [a] deriving( Eq )
+
diff --git a/ghc/tests/typecheck/should_fail/tcfail086.stderr b/ghc/tests/typecheck/should_fail/tcfail086.stderr
new file mode 100644
index 0000000..4f961bc
--- /dev/null
+++ b/ghc/tests/typecheck/should_fail/tcfail086.stderr
@@ -0,0 +1,7 @@
+
+tcfail086.hs:4:
+    Can't derive any instances for type Ex
+    because it has existentially-quantified constructor(s)
+
+Compilation had errors
+
-- 
1.7.10.4