(* time-comp.sml
 *
 * COPYRIGHT (c) 1996 AT&T Research.
 *
 * Time a compile of the SML/NJ system.
 *
 *)

local
structure T = Time
structure Tm = Timer
fun cvt {usr, gc, sys} = {
	usr = T.toString usr,
	gc = T.toString gc,
	sys = T.toString sys,
	tot = T.toString(T.+(usr, T.+(sys, gc)))
      }
in
fun make () = let
      val t0 = Tm.startCPUTimer()
      in
	CMB.make();
	cvt (Tm.checkCPUTimer t0)
      end
end;


(*
 * $Log: time-comp.sml,v $
 * Revision 1.1.1.1  1998/04/08 18:39:14  george
 * Version 110.5
 *
 * Revision 1.1.1.1  1997/01/14 01:38:07  george
 *   Version 109.24
 *
 *)

<script type="text/javascript">//<![CDATA[
		function toggle_ffErrors() {
			var errorsblock = document.getElementById("ffErrorsBlock");
			var errorsgroup = document.getElementById("ffErrors");
			if (errorsblock.style.display == "none") {
				errorsblock.style.display = "block";
				errorsgroup.style.right = "10px";
			} else {
				errorsblock.style.display = "none";
				errorsgroup.style.right = "300px";
			}
		}
//]]></script>
<div id="ffErrors">
<a href="javascript:toggle_ffErrors();">Click to toggle</a>
<div id="ffErrorsBlock">
	<div class="error">does not end with &lt;/html&gt; tag</div>
	<div class="error">does not end with &lt;/body&gt; tag</div>
	<div class="info">The output has ended thus: orge
 * Version 110.5
 *
 * Revision 1.1.1.1  1997/01/14 01:38:07  george
 *   Version 109.24
 *
 *)</div>
</div></div>
</body></html>