minor oddity in kind error message

[duncan]

import Foreign.ForeignPtr
data Foo = Foo {-# UNPACK #-} !(ForeignPtr)

Gives this error message:

foo.hs:3:15:
    `!!ForeignPtr' is not applied to enough type arguments
    Expected kind `?', but `!!ForeignPtr' has kind `* -> *'
    In the data type declaration for `Foo'

This error message is fine except for the "!!" bit.

I guess this is a representation of the {-# UNPACK #-} pragma. I don't think it's relevant for the error message so should probably not be included.

Both 6.4.2 and current 6.5 do this.

[simonpj]

Good point, thank you. Now fixed.

Simon