[Haskell-cafe] Re: Additonal types for Foreign.C.Types

Sure it does! Thanks.

(...)So, for example if you have:

foreign import ccall "string.h strlen" cstrlen :: Ptr CChar -> IO CSize

fatype -> ftype :: ftype fatype :: fatype qtycon "Ptr" atype1 "CChar" fatype :: frtype qtycon "IO" atype1 "CSize"

(I struggled a bit with finding a good way to communicate the productions chosen, so bear with me)

Make sense?

...

...

The FFI spec says (at http://www.cse.unsw.edu.au/~chak/haskell/ffi/ffi/ffise3.html#x6-120003.2):

There I see:

--- (...) I can't understand the "qtycon atype[1]..." line. (...)