Commit e1bd9060 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Fix T5331; it had a misplaced signature

This bug was previously undetected; now test
'Misplaced' checks for it
parent 06d7440b
......@@ -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
......
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'
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment