> (test-hw7 "traceproc")
loading d:/classes/cs342/homework/current/hw7/traceproc.tst ...

Test case of $Date: 2005/03/28 23:15:12 $

(run "let double = traceproc(z) *(z,2)
           in (double 3)")
Call of traceproc(z) with arguments:
  (3)
Return of traceproc(z) with result:
  6
        ==> 6
(run "+(3, let double = traceproc(z) *(z,2) in (double 3))")
Call of traceproc(z) with arguments:
  (3)
Return of traceproc(z) with result:
  6
        ==> 9
(run "let makemult = traceproc (maker, x)
	                        if x
                                then +(4,(maker maker -(x,1)))
                                else 0
               in let times4 = traceproc (x) (makemult makemult x)
                  in (times4 3)")
Call of traceproc(x) with arguments:
  (3)
Call of traceproc(maker, x) with arguments:
  (<traced-closure(maker, x)> 3)
Call of traceproc(maker, x) with arguments:
  (<traced-closure(maker, x)> 2)
Call of traceproc(maker, x) with arguments:
  (<traced-closure(maker, x)> 1)
Call of traceproc(maker, x) with arguments:
  (<traced-closure(maker, x)> 0)
Return of traceproc(maker, x) with result:
  0
Return of traceproc(maker, x) with result:
  4
Return of traceproc(maker, x) with result:
  8
Return of traceproc(maker, x) with result:
  12
Return of traceproc(x) with result:
  12
        ==> 12
All tests passed!