[MLton-user] Library segfault (GC_switchToThread)

[Alexandre Hamez]

On 17 févr. 2011, at 16:33, Wesley W. Terpstra wrote:

> On Wed, Feb 16, 2011 at 2:45 PM, Alexandre Hamez <alexandre.hamez at gmail.com> wrote:
> > int main( int argc, char** argv ) {
> 
> missing: foo_open(argc, argv);
>  
> >   int res = foo(1);
> >   printf("%d\n",res);
> >
> 
> missing: foo_close();
>  
> >   return 0;
> > }
> 
> Hope that helps.
OK, thank you, it worked! 

> PS.: Why stripping 'lib' in the name of the generated library?
> 
> It's been a while since I used Mac OS, but I guess that libraries in /usr/lib and /lib don't have a lib prefix for .dylib files?
No, they do have the 'lib' prefix. Anyway, it's not related to MacOS X, as it is stated in the documentation that this prefix is always stripped.

---------------------
Alexandre Hamez