summaryrefslogtreecommitdiff
path: root/testsuite/tests
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests')
-rw-r--r--testsuite/tests/rename/should_compile/T5331.hs3
-rw-r--r--testsuite/tests/rename/should_compile/T5331.stderr31
2 files changed, 13 insertions, 21 deletions
diff --git a/testsuite/tests/rename/should_compile/T5331.hs b/testsuite/tests/rename/should_compile/T5331.hs
index 4e7343e56b..6e92d91a6e 100644
--- a/testsuite/tests/rename/should_compile/T5331.hs
+++ b/testsuite/tests/rename/should_compile/T5331.hs
@@ -5,9 +5,6 @@ module Foo where
data T a
-instance Eq (T a)
-{-# SPECIALISE instance forall a.Eq (T Int) #-}
-
data S = forall a.S1
data W where
diff --git a/testsuite/tests/rename/should_compile/T5331.stderr b/testsuite/tests/rename/should_compile/T5331.stderr
index 36261c539d..e18c657e3f 100644
--- a/testsuite/tests/rename/should_compile/T5331.stderr
+++ b/testsuite/tests/rename/should_compile/T5331.stderr
@@ -1,18 +1,13 @@
-
-T5331.hs:9:32:
- Warning: Unused quantified type variable `a'
- In the type `forall a. Eq (T Int)'
- In a SPECIALISE instance pragma
-
-T5331.hs:11:17:
- Warning: Unused quantified type variable `a'
- In the definition of data constructor `S1'
-
-T5331.hs:14:16:
- Warning: Unused quantified type variable `a'
- In the definition of data constructor `W1'
-
-T5331.hs:16:13:
- Warning: Unused quantified type variable `a'
- In the type `forall a. Int'
- In the type signature for `f'
+
+T5331.hs:8:17:
+ Warning: Unused quantified type variable `a'
+ In the definition of data constructor `S1'
+
+T5331.hs:11:16:
+ Warning: Unused quantified type variable `a'
+ In the definition of data constructor `W1'
+
+T5331.hs:13:13:
+ Warning: Unused quantified type variable `a'
+ In the type `forall a. Int'
+ In the type signature for `f'