如何在inline-c中使用Haskell数组

{-# LANGUAGE QuasiQuotes #-}
{-# LANGUAGE TemplateHaskell #-}
import qualified Language.C.Inline as C
import Foreign.Ptr (Ptr)

C.include "<stdio.h>"
C.include "<stdlib.h>"
C.include "<string.h>"

C.verbatim $ unlines
  [ "void modifyArray(int* arr, int len) {"
  , "    for(int i=0; i<len; i++) {"
  , "        arr[i] = arr[i] * 2;"
  , "    }"
  , "}"
  ]

C.verbatim $ unlines
  [ "void printArray(int* arr, int len) {"
  , "    for(int i=0; i<len; i++) {"
  , "        printf(\"%d \", arr[i]);"
  , "    }"
  , "    printf(\"\\n\");"
  , "}"
  ]

modifyArray :: Ptr Int -> Int -> IO ()
modifyArray = $(C.function "modifyArray")

printArray :: Ptr Int -> Int -> IO ()
printArray = $(C.function "printArray")

main :: IO ()
main = do
  let array = [1, 2, 3, 4, 5] :: [Int]
  let len = length array

  -- 分配内存并将Haskell数组复制到C数组
  arrPtr <- newArray array
  -- 调用C函数修改数组
  modifyArray arrPtr len
  -- 打印修改后的数组
  printArray arrPtr len
  -- 释放内存
  free arrPtr