11 Jan
2017
11 Jan
'17
2:51 p.m.
On Tue, Jan 10, 2017 at 4:22 PM, Mathias Gaunard < mathias.gaunard@ens-lyon.org> wrote:
On 10 January 2017 at 20:07, Zach Laine
wrote: I agree with all of these complaints. This is in fact why I wrote Yap. The compile times are very good, even for an obnoxious number of
terminals
(thousands), and there is no memory allocated at all -- or did you mean compiler memory usage? I haven't looked at that.
Compiler memory usage of course. When a TU takes 4GB to compile or more, it leads to lots of problems, even if RAM is cheap and you could put hundreds of gigabytes in your build server.
Right. I would be very surprised to see that kind of thing when types are computed by saying "auto" instead of some tortuous metafunction. Zach