[GHC] #863: minor oddity in kind error message

GHC trac at galois.com
Sat Aug 12 20:48:48 EDT 2006


#863: minor oddity in kind error message
-------------------------------+--------------------------------------------
    Reporter:  duncan          |        Owner:             
        Type:  bug             |       Status:  new        
    Priority:  normal          |    Milestone:             
   Component:  Compiler        |      Version:  6.4.2      
    Severity:  trivial         |     Keywords:             
          Os:  Linux           |   Difficulty:  Easy (1 hr)
Architecture:  x86_64 (amd64)  |  
-------------------------------+--------------------------------------------
{{{
 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.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/863>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the Glasgow-haskell-bugs mailing list