Re: [MLton] Patch for modern x86_64-pc-cygwin and x86_64-w64-mingw32

Matthew Fluet <[email protected]> Mon, 17 Apr 2017 20:42:46 -0400
Newsgroups gmane.comp.lang.ml.mlton.devel
Message-ID <CAMrhFL7RbV9vzMJ=bBztjCdr_EmgvJKdn42sKy4Kv1yLZEgYMA@mail.gmail.com>
The patches look fine.  Darwin certainly required leading underscores
in assembly labels; "(Darwin,  _) => false" would better preserve the
existing behavior.

Do you want to submit a pull request through GitHub?

On Mon, Apr 17, 2017 at 12:08 PM, Kent Wilson <[email protected]> wrote:
> Hi,
>
> I've been working with these platforms for a while and have been self
> patching the source code to get the runtimes, and mlton-compile executable
> to work. I have attached a patch that gets the mentioned platforms working.
>
> There are two problems that I have identified:
>
> 1) GCC compilers newer than 4.8 create the same symbol names as *NIX
> platforms (at least for the x86_64 code generators). I have added
> Architecture checks to the Control.labelsHaveExtra_ call in
> mlton/main/main.fun that correct the compiler on those platforms. I do not
> know if the Darwin platform has changed, so it is left as is.
>
> 2) The recent git commits that added SIGALT_STACK checks have broken
> compiling the runtime for the mentioned platforms. I have added the
> necessary defines to the platform headers.
>
> As a side note, I have a native amd64 codegen compiler working on OpenBSD
> amd64 for both 5.9 and 6.0.
>
> Thank you,
>
> --
> Kent Wilson
>
>
> ------------------------------------------------------------------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
> _______________________________________________
> MLton-devel mailing list
> [email protected]; [email protected]
> https://lists.sourceforge.net/lists/listinfo/mlton-devel
>

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot