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? ------------------------------------------------------------------------------