Opened 9 years ago

Closed 9 years ago

Last modified 6 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: 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 9 years ago by simonpj

  • Resolution set to fixed
  • Status changed from new to closed

Good point, thank you. Now fixed.


comment:2 Changed 6 years ago by simonmar

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