Hi all. I thought I would try compiling the GHC CVS ObjectIO library on NT with GHC 5.02. Following error messages passed out by the compiler I modified C_util12.lhs as follows (see attached file): - import MarshallAlloc - import Ptr instead of Addr - Change Addr to Ptr - AddrOff changed to Int and get the following error message in the fpeek function: $ make ghc -static -c ../../OSWindows/Cutil_12.hs -fglasgow-exts -syslib concurrent -syslib ang -cpp -i../../CleanStdEnv:../../OSWindows:../../ObjectIO:../../OSWindo ws/Windows_C_12 -I../../ObjectIO -DMVAR=1 ..\\..\\OSWindows\\Cutil_12.hs:34: Couldn't match `* -> *' against `Type bx' Expected kind: * -> * Inferred kind: Type bx When checking that `Ptr' is a type In the type: forall a. (Storable a) => Ptr -> IO a While checking the type signature for `fpeek' make: *** [../../OSWindows/Cutil_12.o] Error 1 I am stumped on this (I don't know what the stars mean). My best guess is that it is something to do with the monomorphism restriction. Any advice on how to clear this up? Are the changes I made in keeping with the intention of the original code? Cheers Mike Thomas