Björn,
I have a function for checking return values of functions:
checkResult :: String -> CInt -> IO () checkResult _ 0 = return () checkResult f n = fail $ f ++ " failed (" ++ show n ++ ")"
Now, I want to call that on the exit value of lots of functions, like this:
{#fun foo {} -> `()' `checkResult "foo"'*- #}
{#fun bar {} -> `()' `checkResult "bar"'*- #}
...
However, the marshallers can only be function names, not arbitrary expressions. Wouldn't it be a useful generalization to allow arbitrary expressions as marshallers? That way you could even have one-off marshallers as lambda expressions.
Yes I thought about having something like that. On the other hand, its also quite easy to just follow the fun hook with a where clause that introduces a name for the marshalling expression, but I admit that if its just a partial application, as in your case, even a where clause is somewhat tedious in comparison. Do you want to try adding this to c2hs? I'd be happy to include a suitable patch. Cheers, Manuel