[Haskell-cafe] c2hs confusion with a simple function

10 Jul 2009

      The c2hs documentation at
http://www.cse.unsw.edu.au/~chak/haskell/c2hs/docu/implementing.html#id31494...
 gives me an example to follow for this case:

{#fun notebook_query_tab_label_packing as ^
  `(NotebookClass nb, WidgetClass cld)' =>
  {notebook `nb'                ,
   widget   `cld'               ,
   alloca-  `Bool'     peekBool*,
   alloca-  `Bool'     peekBool*,
   alloca-  `PackType' peekEnum*} -> `()'#}

so I took the original C binding:

   void SHPGetInfo(SHPHandle, int*, int*, double*, double*)

And wrote a c2hs binding:

{#fun SHPGetInfo as getInfo
    { fromSHPHandle `SHPHandle'
    , alloca- `Int'
    , alloca- `Int'
    , alloca- `Double'
    , alloca- `Double'
    } -> `()' #}

The error I get:

Internal.chs:85:2:
    Couldn't match expected type `Int'
           against inferred type `(Ptr b -> IO c) -> IO c'
      Expected type: IO (Int, Int, Double, Double)
      Inferred type: IO
                       ((Ptr b -> IO c) -> IO c,
                        (Ptr b1 -> IO c1) -> IO c1,
                        (Ptr b2 -> IO c2) -> IO c2,
                        (Ptr b3 -> IO c3) -> IO c3)
    In the expression:
          alloca $ \ a2' -> alloca $ \ a3' -> alloca $ \ a4' -> ...
    In the expression:
        let a1' = fromSHPHandle a1
        in alloca $ \ a2' -> alloca $ \ a3' -> alloca $ ...

I've tried ending it with withCIntConv and withCFloatConv to no avail.
 The original c2hs file is attached.  I'm sure there are many more
problems, but this is the one I'm working on at the moemnt...

-- Jeff

[Haskell-cafe] c2hs confusion with a simple function

Jeff Heard