[MLton-user] mlton and netbsd

[fulvio ciriaco]

Hallo,
the compiler works, but it generates buggy executables.
"Hello world" dumps core,
the backtrace is
#0  0x08050b75 in mutatorStackInvariant ()
#1  0x08052e51 in doGC ()
#2  0x07b09aac in ?? ()
#3  0xbbbeb000 in ?? ()
#4  0xbfbfeb04 in ?? ()
#5  0x00000001 in ?? ()
#6  0x08048964 in ?? ()
#7  0xbbbeb000 in ?? ()
#8  0xbbbf6dc8 in _rtld_find_symdef () from /usr/libexec/ld.elf_so
#9  0x00001002 in ?? ()
#10 0xffffffff in ?? ()
#11 0x00000000 in ?? ()

Any good advice?
Fulvio
From: Matthew Fluet <mtf at cs.rit.edu>
Subject: Re: [MLton-user] mlton and netbsd
Date: Fri, 25 Sep 2009 15:31:38 -0400 (EDT)

> 
> Bootstrapping with an smlnj-mlton build is infeasible on pretty much
> any hardware.  1GB is just about enough for a (32-bit) self-compile,
> but you'll need a working mlton on your platform.
> 
> I'm surprised that the latest NetBSD isn't sufficiently binary
> compatible with the older mlton.
> 
> On Thu, 24 Sep 2009, fulvio ciriaco wrote:
>> I created smlnj-mlton from mlton in svn trunk and it works fine.
>> It is now two days that it is compiling mlton, and I do not know
>> when it will see the end.
>> My hardware is a bit outdated, a thinkpad t42 with 1 GiB ram.
>> Fulvio
>> From: Jesper Louis Andersen <jesper.louis.andersen at gmail.com>
>> Subject: Re: [MLton-user] mlton and netbsd
>> Date: Thu, 24 Sep 2009 18:56:31 +0200
>>
>>> On Tue, Sep 22, 2009 at 17:27, fulvio ciriaco <oivulf at gmail.com>
>>> wrote:
>>>> Hallo,
>>>> is there anybody having mlton working on netbsd 5.0?
>>>> I tried mlton-20051202-1.i386-netbsd on a "hello world" program
>>>> but the generated executable
>>>> segfaults in mutatorStackInvariant()
>>>
>>> It is a long time since I last tried mlton on NetBSD. I think the last
>>> NetBSD I ran it on was a 4.x-something. I wonder what changes were
>>> made to memory for you to segfault in that part.
>>>
>>>
>>> --
>>> J.
>>
>> _______________________________________________
>> MLton-user mailing list
>> MLton-user at mlton.org
>> http://mlton.org/mailman/listinfo/mlton-user
>>