From de04fb5527bb6b935cd58c5a167e5562be6c1ce2 Mon Sep 17 00:00:00 2001
From: Paolo Capriotti <p.capriotti@gmail.com>
Date: Tue, 14 Aug 2012 17:12:34 +0100
Subject: [PATCH] Add test for #7145

---
 tests/rename/should_compile/T7145a.hs     |    3 +++
 tests/rename/should_compile/T7145b.hs     |    6 ++++++
 tests/rename/should_compile/T7145b.stderr |    2 ++
 tests/rename/should_compile/all.T         |    2 ++
 4 files changed, 13 insertions(+)
 create mode 100644 tests/rename/should_compile/T7145a.hs
 create mode 100644 tests/rename/should_compile/T7145b.hs
 create mode 100644 tests/rename/should_compile/T7145b.stderr

diff --git a/tests/rename/should_compile/T7145a.hs b/tests/rename/should_compile/T7145a.hs
new file mode 100644
index 0000000..501915f
--- /dev/null
+++ b/tests/rename/should_compile/T7145a.hs
@@ -0,0 +1,3 @@
+module T7145a ( Applicative(pure) ) where
+
+import Control.Applicative ( Applicative(pure) )
diff --git a/tests/rename/should_compile/T7145b.hs b/tests/rename/should_compile/T7145b.hs
new file mode 100644
index 0000000..f34ea4d
--- /dev/null
+++ b/tests/rename/should_compile/T7145b.hs
@@ -0,0 +1,6 @@
+module T7145b ( A.Applicative(pure) ) where
+
+import qualified Control.Applicative as A
+
+pure :: ()
+pure = ()
diff --git a/tests/rename/should_compile/T7145b.stderr b/tests/rename/should_compile/T7145b.stderr
new file mode 100644
index 0000000..35e233d
--- /dev/null
+++ b/tests/rename/should_compile/T7145b.stderr
@@ -0,0 +1,2 @@
+
+T7145b.hs:6:1: Warning: Defined but not used: `pure'
diff --git a/tests/rename/should_compile/all.T b/tests/rename/should_compile/all.T
index 1963150..f96c07d 100644
--- a/tests/rename/should_compile/all.T
+++ b/tests/rename/should_compile/all.T
@@ -193,3 +193,5 @@ test('T6027', normal, compile, [''])
 test('T6120', normal, compile, [''])
 test('T7007', normal, compile, [''])
 test('T7085', normal, compile, [''])
+test('T7145a', normal, compile, ['-Wall -Werror'])
+test('T7145b', normal, compile, ['-Wall'])
-- 
1.7.9.5

