From emil.artin at web.de Wed Mar 25 08:18:50 2009 From: emil.artin at web.de (emil artin) Date: Thu Mar 26 11:38:28 2009 Subject: [MLton] MLton: A few questions Message-ID: <109192576@web.de> Hi, I have a few questions about MLton which I want to ask and hope that experienced users on this list can answer my questions. 1) Is there any howto or guide about custom compilation of MLton? I would like to compile a 64bit version of MLton on AIX and Solaris myself! 2) Is it possible (or sensible) to use a non gcc compiler (e.g. xlc on AIX)? 3) What are the prerequisites? I know about gmp and SML/NJ. Is SML/NJ absolutely necessary? 4) Does MLton generate an executable file from SML code by first compiling it into C and then using a C compiler to compile it to an executable file? Any help is very much appreciated? Regards, E.A. PS: Evidently the activities on MLton has been decreased dramatically during the past few months. It seems that the project leaders don't have much time for further developement of MLton. What is going on? __________________________________________________________________________ Verschicken Sie SMS direkt vom Postfach aus - in alle deutschen und viele ausl?ndische Netze zum gleichen Preis! https://produkte.web.de/webde_sms/sms From spoons at cmu.edu Fri Mar 27 10:54:38 2009 From: spoons at cmu.edu (Daniel Spoonhower) Date: Fri Mar 27 10:54:44 2009 Subject: [MLton] MLton: A few questions In-Reply-To: <49CCDF69.3040009@cmu.edu> References: <109192576@web.de> <49CCDF69.3040009@cmu.edu> Message-ID: <49CD20EE.70602@cmu.edu> Forwarding back to the MLton developers list since that where it was originally posted... Daniel Spoonhower wrote: > (I will take a shot, but others should correct me if I get anything wrong.) > > emil artin wrote: >> Hi, >> >> I have a few questions about MLton which I want to ask >> and hope that experienced users on this list can answer my questions. >> >> 1) Is there any howto or guide about custom compilation of MLton? >> I would like to compile a 64bit version of MLton on AIX and Solaris myself! > > I think it's as simple as "untar and make." That assumes there is a > working SML compiler on the platform on which you are building. > >> 2) Is it possible (or sensible) to use a non gcc compiler (e.g. xlc on AIX)? > > I believe that any C99-compliant compiler will work. Try the -cc option. > >> 3) What are the prerequisites? I know about gmp and SML/NJ. >> Is SML/NJ absolutely necessary? > > Some SML compiler is necessary, as well as gmp. You might consider > cross-compiling: > http://mlton.org/CrossCompiling > Or perhaps the existing build for Solaris will be sufficient to bootstrap? > >> 4) Does MLton generate an executable file from SML code by first compiling it into C >> and then using a C compiler to compile it to an executable file? > > MLton includes several code generators: native code generators for x86 > and x86-64 (AKA amd64) and a C code generator that is used on other > architectures. The C code generator works as you describe. > >> Any help is very much appreciated? >> >> Regards, >> E.A. >> >> PS: Evidently the activities on MLton has been decreased dramatically during the past few months. >> It seems that the project leaders don't have much time for further developement of MLton. >> What is going on? > > > From fluet at tti-c.org Fri Mar 27 13:03:29 2009 From: fluet at tti-c.org (Matthew Fluet) Date: Fri Mar 27 12:01:49 2009 Subject: [MLton] mailing list issues Message-ID: Just a note to clarify some issues that regular readers and new subscribers may be wondering about: * The 'mlton@mlton.org' and 'mlton-user@mlton.org' administrative e-mails are routed to my GMail account. For mysterious reasons, since Dec. 2008, GMail has decided that all such admin e-mails are spam, and therefore I haven't been noticing when they arrive. * Both mailing lists are protected by the same whitelist, which explains why first-time posters often have a delay before their message appears on the list. (Similarly, first-time post from a new e-mail address may also have a delay). * There are filters in place on the mailing list that hold "Re: [MLton]" messages sent to mlton-user@mlton.org for administrator approval (and vice versa) to cut down on unnecessary cross-posting. * Any non-whitelisted post is sent to the list administrators. This lets us add new entries to the whitelist and bounce legitimate messages back to the lists. On the other hand, it means that there is a ton of spam coming at the list administrators, which explains why I can't simply include a GMail filter that accepts everything from @mlton.org as not-spam. I think I've caught up with all outstanding administrator requests (at least as far as my 30-days of GMail spam is concerned). I sincerely apologize to the subscription requests from Dec. and Jan. that just now got processed. I will attempt to fine tune some filters to avoid these issues in the future. -Matthew