Re: amd64Translate.Operand.toAMD64Operand: strange Offset: ...

Phil Clayton <[email protected]> Mon, 28 Sep 2015 17:29:09 +0100
Newsgroups gmane.comp.lang.ml.mlton.user
Message-ID <[email protected]>
27/09/15 17:26, Phil Clayton wrote:
> In future I'll work with both master and the last
> release.  (I've just noticed that the helloworld GTK+ app built with
> master causes a seg fault when exiting, so I'll investigate.)

It was callbacks that were seg faulting.  Looking through the commit 
history and re-reading the documentation, it seems that the attribute 
'reentrant' is now required.  Adding this to the function that transfers 
control to the GTK+ main loop fixes the issue.

'reentrant' is not recognized by 20130715.  Is there a way to have the 
same source code work with both 20130715 and master?


------------------------------------------------------------------------------