Size: a a a

2020 May 24

IK

Ilya Kos in Haskell
он же у тебя экспортируется по-хорошему
источник

аа

аа ааа in Haskell
он будет использоваться в си части
источник

IK

Ilya Kos in Haskell
подозреваю что explicit export list может помочь
источник

аа

аа ааа in Haskell
Я правильно нагуглил? Это просто вот так написать нужно ? module Example (f) where
источник

аа

аа ааа in Haskell
если да то не работает, оно оптимизируется в putStrLn просто
источник

аа

аа ааа in Haskell
он же и в списке имен появляется
источник

AV

Alexander Vershilov in Haskell
аа ааа
Можно как-то гарантировать то что f будет всегда в списке имен ? То есть не будет инлайниться
Зачем?
источник

AV

Alexander Vershilov in Haskell
(Просто может получше решения будут)
источник

аа

аа ааа in Haskell
мне нужно получать этот символ в си библиотеке
источник

JS

Jerzy Syrowiecki in Haskell
аа ааа
мне нужно получать этот символ в си библиотеке
если надо вызывать, то foreign export
источник

аа

аа ааа in Haskell
мне надо вызвать через rts_evalIO
источник

AV

Alexander Vershilov in Haskell
сделай stableptr
источник

AV

Alexander Vershilov in Haskell
передай stableptr в си и заеваль
источник

AV

Alexander Vershilov in Haskell
Все хаскельные символы могут быть радостно собраны GC
источник

аа

аа ааа in Haskell
а как Main.main экспортируется ?
источник

AV

Alexander Vershilov in Haskell
Можешь ещё static ptr
источник

аа

аа ааа in Haskell
это особый случай ?
источник

AV

Alexander Vershilov in Haskell
Для его foreign export есть
источник

аа

аа ааа in Haskell
newStablePtr (return () :: IO ()) даст мне StablePtr (IO ()), который я передам в си код под типом HsStablePtr, если я его буду кастить в StgClosure* я получу указатель на return () ?
источник

аа

аа ааа in Haskell
надеюсь я всё правильно понял
источник