FFI : 스택에 세 Int # '을 반환합니다

Question

Int# 세 외국 함수 호출에서 스택에 반환 할 수있는 방법이 있습니까? 이 (# Int#, Int#, Int# #) 때문에 컴파일되지 않습니다

struct Tuple { 
    int bezout1, bezout2, gcd; 
} 

struct Tuple extendedGcd(int a, int b) { 
    /* elided */ 
} 

가 ccall 지원하지 않습니다 :

여기에 (내가 실제로 관심이있는 것과 오브젝트 파일과 동등한를 생성 또는 C 코드) C 코드

,321 다음 SEG-오류 ( MagicHash, GHCForeignImportPrim, ForeignFunctionInterface, UnboxedTuples 및 MagicHash 불구, 컴파일 된) 다음의

foreign import ccall "extendedGcd" 
    extendedGcd :: Int# -> Int# -> (# Int#, Int#, Int# #) 

내 모든 사용 0 나는 문제의이 종류를 해결하기 위해 어떤 노력이 있었다 몇 가지 증거를 찾을 수 있습니다

:

나는 이것이 상상 (같은 사람)

• thread on the mailing list
• a proposed (but abandoned) CStructures GHC extension 일반적인 문제는 아니지만 어떤 실제 사례도 찾을 수 없습니다. 가능한가요? 아무도 이것에 대해 더 이상 신경 쓰지 않는다면 (예 : 어딘가 Trac 티켓이 있습니까?)

Answer 1

C에서 직접 어셈블리로 프로 시저를 구현할 수 있다면 꽤 쉽게 할 수 있습니다. 참조 : http://brandon.si/code/almost-inline-asm-in-haskell-with-foreign-import-prim/. 어쩌면 GCD 알고리즘이 괜찮을거야.

here을 함께 넣은 완성 된 프로젝트가 있습니다.