SPECIALISE pragma rejected; regression

Compiling this module:

module Q where

{-# SPECIALIZE f :: (Bool -> Bool) -> Int #-}
f :: (a -> Bool) -> Int
f = undefined 

fails with:

$ ghc -c Q.hs

Q.hs:3:1:
    Discarding pragma for non-overloaded function `f'
    In the SPECIALISE pragma
      {-# SPECIALIZE f :: (Bool -> Bool) -> Int #-}

This is causing build failures for Munkres, bitarray and bitmap.

Trac metadata

Trac field	Value
Version	7.0.1 RC1
Type	Bug
TypeOfFailure	OtherFailure
Priority	highest
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture