[MLton-devel] nucleic benchmark times

[Matthew Fluet]

> > That wouldn't be too hard, although I assume you mean the benchmark
> > program (as opposed to post-processing the output).
>
> The one advantage of a separate program as a post-processor would be
> that you wouldn't have to specify all the orderings when you run the
> benchmarks.  It looks like that would have been useful to you.

True.  It was also going to be a pain to figure out the names of each
expanded choice before the benchmarks started.  It probably does make
sense to have some post-processing analysis scripts around.

> So, I don't think the latter would work.  You should use
> MLton.TextIO.outFd and FileDesc.fluidLet to make file descriptor 2
> match up with the current Out.error for the duration of the spawn.

O.k.  I'll look into fixing that.




-------------------------------------------------------
This sf.net email is sponsored by: To learn the basics of securing 
your web site with SSL, click here to get a FREE TRIAL of a Thawte 
Server Certificate: http://www.gothawte.com/rd524.html
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel