id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
385,Kind error has wrong line,nobody,nobody,"{{{

With the attached test file (t.hs) I get the following
result:
--------------------------

cptchaos@motion2 ~ $ ghci-6.4 -fglasgow-exts t.hs
   ___         ___ _
  / _ \ /\  /\/ __(_)
 / /_\// /_/ / /  | |      GHC Interactive, version
6.4, for Haskell 98.
/ /_\\/ __  / /___| |      http://www.haskell.org/ghc/
\____/\/ /_/\____/|_|      Type :? for help.

Loading package base-1.0 ... linking ... done.
Compiling Main             ( t.hs, interpreted )

t.hs:4:0:
    Couldn't match kind `* -> *' against `*'
    In the class declaration for `IOMatrixIf'
Failed, modules loaded: none.
Prelude>

------------------------------

but line 4 is correct (it is in fact an example from
the userguide)

-------------------------------------- example file: t.hs
module Main where

class IOMatrixIf (iomat :: * -> *) b where
  iomatrix_new        :: Int -> Int -> IO (iomat b)
   -- ^ creates a matrix with random values ( just mem.
allocation)
  iomatrix_rows       :: (iomat b) -> Int
  iomatrix_cols       :: (iomat b) -> Int
  iomatrix_read_elem  :: (iomat b) -> Int -> Int -> IO b
  iomatrix_write_elem :: (iomat b) -> Int -> Int -> b
-> IO ()


hello = ""foo"" -- junk code may be some lines


-- here is the kind error 
type IOMatrix matRep = IOMatrixIf matRep b => (IO matRep)

}}}",bug,closed,normal,,Compiler (Type checker),6.4,Fixed,,,,,,,,,,