[Haskell-cafe] Getting a segmentation fault when starting/stopping the RTS, from C, several times.

Felipe Almeida Lessa felipe.lessa at gmail.com
Mon Jul 16 02:37:44 CEST 2012


Em 15/07/2012 18:38, "Albert Y. C. Lai" <trebla at vex.net> escreveu:
>
> On 12-07-10 11:35 PM, Brandon Allbery wrote:
>>
>> Quoth the Fine Manual (8.2.1.1. Using your own main()
>> <
http://www.haskell.org/ghc/docs/latest/html/users_guide/ffi-ghc.html#using-own-main
>):
>>
>> There can be multiple calls to |hs_init()|, but each one should be
>> matched by one (and only one) call to |hs_exit()|^[14
>> <
http://www.haskell.org/ghc/docs/latest/html/users_guide/ffi-ghc.html#ftn.id740774
>]
>>
>> .
>>
>> So this should theoretically work.
>
>
> Except that [14] says: the outermost hs_exit() de-initialises, and
afterwards, cannot reliably re-initialise in current implementations.
>
> So the currently working use-case is just:
> Prog ::= nop | hs_init(); Prog; hs_exit()

Would that be:

Prog ::= nop | hs_init(); Prog'; hs_exit();
Prog' ::= nop | hs_init(); Prog'; hs_exit(); | Prog' Prog'

Cheers,

--
Felipe – enviado do meu Galaxy Tab.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120715/d18e781c/attachment.htm>


More information about the Haskell-Cafe mailing list