Fwd: [MLton-user] Explosion in MLton compilation time

Vesa Karvonen vesa.a.j.k at gmail.com
Sat Jul 11 03:41:49 PDT 2009


Forwarding my own message as I forgot to include the mailing list.


---------- Forwarded message ----------
From: Vesa Karvonen <vesa.a.j.k at gmail.com>
Date: Sat, Jul 11, 2009 at 1:40 PM
Subject: Re: [MLton-user] Explosion in MLton compilation time
To: Matthew Fluet <fluet at tti-c.org>


On Fri, Jun 19, 2009 at 4:44 PM, Matthew Fluet<fluet at tti-c.org> wrote:
> On Thu, 18 Jun 2009, Dan DuVarney wrote:
[...]
>> The trigger seems to be some combination of program size and complex
>> datatypes. I have been able to get the compile-time to revert to normal
>> by replacing some datatypes with records. However, the subsystem
>> containing the "offending" datatypes compiles normally when part of a
>> smaller program. Hence the amount of source code required to reproduce
>> the problem is quite massive (and also proprietary). For these reasons
>> it will be difficult for me to send a source code example which
>> reproduces the compilation-time increase.
>
> In the absence of a source code example, it is very difficult to
> investigate the issue.

Just noting that the refFlatten pass takes a very long time when
compiling MLKit with MLton.

-Vesa Karvonen



More information about the MLton-user mailing list