LINUX.ORG.RU

История изменений

Исправление qnikst, (текущая версия) :

минимум с точностью до наоборот, priop - это всегда внешний вызов (FFI), но не всякий внешний вызов primop, например ccall это не primop.

Вообще, если вдаваться в подробности (см. GHC Track wiki) primop-ы делятся на внутри-GHC-ш-ные, которые нельзя добавлять или изменять не изменяя исходники GHC; есть юзерские - юзерские это FFI с Haskell соглашением о вызовах (cc10 в терминах LLVM), они делаются или на C-- или напрямую подключая символы собранный llvm. Но зачем это в данном треде я не знаю.

Исходная версия qnikst, :

минимум с точностью до наоборот, priop - это всегда внешний вызов FFI, не всякий внешний вызов primop, например ccall это не primop.

Вообще, если вдаваться в подробности (см. GHC Track wiki) primop-ы делятся на внутри-GHC-ш-ные, которые нельзя добавлять или изменять не изменяя исходники GHC; есть юзерские - юзерские это FFI с Haskell соглашением о вызовах (cc10 в терминах LLVM), они делаются или на C-- или напрямую подключая символы собранный llvm. Но зачем это в данном треде я не знаю.