diff options
Diffstat (limited to 'testsuite/tests')
-rw-r--r-- | testsuite/tests/rename/should_compile/T5331.hs | 3 | ||||
-rw-r--r-- | testsuite/tests/rename/should_compile/T5331.stderr | 31 |
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'
|