Hi,
I have had a problem compiling the following header file and .chs
file; Duncan Coutts has suggested that it might be a bug.
The header file is this:
---
typedef void* clientBufferPtr;
typedef int result;
clientBufferPtr create_client_buffer(char* hostname, unsigned int port);
void delete_client_buffer(clientBufferPtr buffer);
result client_buffer_login(clientBufferPtr buffer, char* name, int
red, int green, int blue, char* global_password, char* user_password);
---
The .chs file is as follows:
---
module ClientBuffer (createBuffer, deleteBuffer, login) where
import Foreign
import CForeign
cIntConv = fromIntegral
#include "client_buffer.h"
newtype ClientBuffer = ClientBuffer (Ptr ())
clientBuffer (ClientBuffer a) = a
{#fun create_client_buffer as createBuffer {`String', `Int'} -> `ClientBuffer'
ClientBuffer #}
{#fun delete_client_buffer as deleteBuffer {clientBuffer
`ClientBuffer'} -> `()'#}
{#fun client_buffer_login as login {clientBuffer `ClientBuffer', `String',
`Int', `Int', `Int', `String', `String'} -> `Int' #}
---
The generated .hs file looks like this:
--
-- GENERATED by C->Haskell Compiler, version 0.14.3 Travelling
Lightly, 09 Aug 2005 (Haskell)
-- Edit the ORIGNAL .chs file instead!
{-# LINE 1 "ClientBuffer.chs" #-}module ClientBuffer (createBuffer,
deleteBuffer, login) where
import Foreign
import CForeign
cIntConv = fromIntegral
newtype ClientBuffer = ClientBuffer (Ptr ())
clientBuffer (ClientBuffer a) = a
createBuffer :: String -> Int -> IO (ClientBuffer)
createBuffer a1 a2 =
withCString a1 $ \a1' ->
let {a2' = cIntConv a2} in
createBuffer'_ a1' a2' >>= \res ->
let {res' = ClientBuffer res} in
return (res')
{-# LINE 13 "ClientBuffer.chs" #-}
deleteBuffer :: ClientBuffer -> IO ()
deleteBuffer a1 =
let {a1' = clientBuffer a1} in
deleteBuffer'_ a1' >>= \res ->
return ()
{-# LINE 15 "ClientBuffer.chs" #-}
login :: ClientBuffer -> String -> Int -> Int -> Int -> String ->
String -> IO (Int)
login a1 a2 a3 a4 a5 a6 a7 =
let {a1' = clientBuffer a1} in
withCString a2 $ \a2' ->
let {a3' = cIntConv a3} in
let {a4' = cIntConv a4} in
let {a5' = cIntConv a5} in
withCString a6 $ \a6' ->
withCString a7 $ \a7' ->
login'_ a1' a2' a3' a4' a5' a6' a7' >>= \res ->
let {res' = cIntConv res} in
return (res')
{-# LINE 12 "ClientBuffer.chs" #-}
foreign import ccall safe "ClientBuffer.h create_client_buffer"
createBuffer'_ :: ((Ptr CChar) -> (CUInt -> (IO (Ptr ()))))
foreign import ccall safe "ClientBuffer.h delete_client_buffer"
deleteBuffer'_ :: ((Ptr ()) -> (IO ()))
foreign import ccall safe "ClientBuffer.h client_buffer_login"
login'_ :: ((Ptr ()) -> ((Ptr CChar) -> (CInt -> (CInt -> (CInt ->
((Ptr CChar) -> ((Ptr CChar) -> (IO CInt))))))))
---
And the error I get from ghc (6.4) when it tries to type-check this
file is this:
ClientBuffer.chs:25:18:
Couldn't match `CInt' against `CUInt'
Expected type: CInt
Inferred type: CUInt
In the third argument of `login'_', namely `a3''
In the first argument of `(>>=)', namely `login'_ a1' a2' a3' a4'
a5' a6' a7''
Is this a problem with c2hs, or am I doing something wrong?
thanks,
Dominic
