GitLab

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)

Trac metadata

Trac field	Value
Version	6.4
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	ResolvedFixed
Component	Compiler (Type checker)
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture