module Tests.Src.Test_AdvanceCall where

-- @@ Export
myAdd :: (Int -> Int) -> Int -> Int
myAdd = ($)

data Callback = Callback { ptr :: Int -> Int }

-- @@ Export
yourAdd :: Callback
yourAdd = Callback { ptr = \t -> t + t }