История изменений
Исправление 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. Но зачем это в данном треде я не знаю.