From ab4720018afe4798967b1024d27a918c18be3a93 Mon Sep 17 00:00:00 2001
From: Simon Peyton Jones <simonpj@microsoft.com>
Date: Fri, 12 Oct 2012 16:32:08 +0100
Subject: [PATCH] Test Trac #7321
---
testsuite/tests/gadt/Makefile | 5 +++++
testsuite/tests/gadt/T7321.hs | 6 ++++++
testsuite/tests/gadt/T7321a.hs | 5 +++++
testsuite/tests/gadt/all.T | 4 ++++
4 files changed, 20 insertions(+)
create mode 100644 testsuite/tests/gadt/T7321.hs
create mode 100644 testsuite/tests/gadt/T7321a.hs
diff --git a/testsuite/tests/gadt/Makefile b/testsuite/tests/gadt/Makefile
index 7a2288f6a964..2df535b6ae2c 100644
--- a/testsuite/tests/gadt/Makefile
+++ b/testsuite/tests/gadt/Makefile
@@ -11,6 +11,11 @@ gadt17:
'$(TEST_HC)' $(TEST_HC_OPTS) -c Gadt17_help.hs
'$(TEST_HC)' $(TEST_HC_OPTS) -c gadt17.hs
+T7321:
+ @$(RM) T7321a.hi T7321.hi
+ '$(TEST_HC)' $(TEST_HC_OPTS) -c T7321a.hs
+ '$(TEST_HC)' $(TEST_HC_OPTS) -c T7321.hs
+
gadt23:
$(RM) gadt23 gadt23.hi gadt23.o Gadt23_AST.hi Gadt23_AST.o
'$(TEST_HC)' $(TEST_HC_OPTS) -v0 --make gadt23.hs
diff --git a/testsuite/tests/gadt/T7321.hs b/testsuite/tests/gadt/T7321.hs
new file mode 100644
index 000000000000..14b3cd01d22a
--- /dev/null
+++ b/testsuite/tests/gadt/T7321.hs
@@ -0,0 +1,6 @@
+module T7321 where
+
+import T7321a
+
+foo :: Exp a
+foo = error "urk"
diff --git a/testsuite/tests/gadt/T7321a.hs b/testsuite/tests/gadt/T7321a.hs
new file mode 100644
index 000000000000..14d22a9696e8
--- /dev/null
+++ b/testsuite/tests/gadt/T7321a.hs
@@ -0,0 +1,5 @@
+{-# LANGUAGE GADTs #-}
+module T7321a where
+
+data Exp a where
+ LamE :: (Exp a -> Exp b) -> Exp (Exp a -> Exp b)
diff --git a/testsuite/tests/gadt/all.T b/testsuite/tests/gadt/all.T
index f28e28d96cc8..e68d1264a46b 100644
--- a/testsuite/tests/gadt/all.T
+++ b/testsuite/tests/gadt/all.T
@@ -116,3 +116,7 @@ test('FloatEq', normal, compile, [''])
test('T7205', normal, compile, [''])
test('T7293', normal, compile_fail, [''])
test('T7294', normal, compile, [''])
+test('T7321',
+ extra_clean(['T7321a.hi', 'T7321a.o']),
+ run_command,
+ ['$MAKE -s --no-print-directory T7321'])
--
GitLab