Я пытаюсь скомпилировать код Rust с некоторым кодом Haskell. У меня есть тестовая система с файлом Fibonacci.hs с функцией, которая вычисляет числа фибоначчи в Haskell и экспортирует функцию как fibonacci_hs через Haskell FFI (как здесь: https://github.com/nh2/haskell-from-python, хотя я скопирую и вставляю внизу), а в wrapper.c определили функции экспорта для вызова для инициализации и выхода из Haskell RTS.
Код выглядит следующим образом:
{- Fibonacci.hs -}
{-# LANGUAGE ForeignFunctionInterface #-}
module Fibonacci where
import Foreign.C.Types
fibonacci :: Int -> Int
fibonacci n = fibs !! n
where fibs = 0 : 1 : zipWith (+) fibs (tail fibs)
fibonacci_hs :: CInt -> CInt
fibonacci_hs = fromIntegral . fibonacci . fromIntegral
foreign export ccall fibonacci_hs :: CInt -> CInt
// wrapper.c
#include <stdlib.h>
#include "HsFFI.h"
void
example_init (void)
{
hs_init (NULL, NULL);
}
void
example_exit (void)
{
hs_exit ();
}
Я скомпилирую их через:
ghc -c -dynamic -fPIC Fibonacci.hs
ghc -c -dynamic -fPIC wrapper.c
и я связываю объекты в общую/динамическую библиотеку (подробнее об этом через секунду) через:
ghc -o libfibonacci.so -shared -dynamic -fPIC Fibonacci.o wrapper.o -lHSrts
При запуске кода примера Python из связанного репозитория он отлично работает на моем mac, но я не могу связать его с Rust.
В Rust мой код выглядит примерно так:
//main.rs
#[link(name = "fibonacci")]
extern {
fn fibonacci_hs (n : i32); // c_int = i32
fn fib_init (); // start hs rts
fn fib_exit (); // kill hs rts
}
fn main () {
unsafe {
fib_init();
for i in 0..100 {
println!("{:?}th fibonacci : {:?}", i, fibonacci_hs(i));
}
fib_exit();
}
}
И я компилирую с rustc main.rs -L . (так как файл общей библиотеки является локальным).
Ошибка, которую я генерирую на Mac, при компиляции с динамической библиотекой (ghc -o libfibonacci.so -shared -static haskell/Fibonacci.o haskell/wrapper.o -lHSrts, затем rustc main.rs -L.) находится во время выполнения:
dyld: Symbol not found: _ffi_call
Referenced from: ./libfibonacci.so
Expected in: flat namespace
in ./libfibonacci.so
Trace/BPT trap: 5
Спасибо за любую помощь заранее.
