Haskell and Maple FFI

[Sven Panne]

Rafael Martinez Torres wrote:
> Well, after reading some doc, I realised it may not be  feasible
> without a FFI preprocessor.

It's feasible without a FFI preprocessor, but probably not very portable.

> For the time beeing, as I don't want to access the internals of Kernel
> descriptor, but to deal with it through the given API, I will declare
> 
> type MKernelDescriptor = Ptr ()
> 
> as a transient solution. It seems to be OK.

A common idiom for an opaque pointer is:

    newtype Foo = Foo (Ptr Foo)

Cheers,
    S.