Opened 11 years ago

Closed 11 years ago

Last modified 8 years ago

#863 closed bug (fixed)

minor oddity in kind error message

Reported by: duncan Owned by:
Priority: normal Milestone:
Component: Compiler Version: 6.4.2
Keywords: Cc:
Operating System: Linux Architecture: x86_64 (amd64)
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


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

Gives this error message:

    `!!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.

Change History (2)

comment:1 Changed 11 years ago by simonpj

Resolution: fixed
Status: newclosed

Good point, thank you. Now fixed.


comment:2 Changed 8 years ago by simonmar

difficulty: Easy (1 hr)Easy (less than 1 hour)
Note: See TracTickets for help on using tickets.