callback-exception.cabal

cabal-version: 3.0
name: callback-exception
version: 0

executable problem
  build-depends: base
  include-dirs: include
  hs-source-dirs: src
  main-is: problem.hs

ce.h

static inline int function( int(*callback)(int), int x) {
  return callback(x);
}

problem.hs

{-# LANGUAGE ForeignFunctionInterface #-}
{-# LANGUAGE CApiFFI #-}
{-# LANGUAGE TypeApplications #-}
module Main (main) where

import Control.Exception
import Foreign
import Foreign.C.Types

x :: Int
x = 10

foreign import ccall "wrapper" mkWrapper :: (CInt -> IO CInt) -> IO (FunPtr (CInt -> IO CInt))
foreign import capi "ce.h function" func :: FunPtr (CInt -> IO CInt) -> CInt -> IO CInt

main :: IO ()
main = do
    w <- mkWrapper $ \_ -> fail "blargh"
    res <- try @SomeException $ func w 10
    print res