Petite Chez Scheme Version 6.0a
Copyright (c) 1998 Cadence Research Systems

loading d:/classes/cs342/lib/displayln.scm ...
loading d:/classes/cs342/lib/test-homework.scm ...
loading D:/scheme/scm/slib/require.scm ...
loading D:/scheme/scm/slib/random.scm ...
loading D:/scheme/scm/slib/byte.scm ...
loading D:/scheme/scm/slib/logical.scm ...
loading D:/scheme/scm/slib/randinex.scm ...
loading d:/classes/cs342/lib/r5rs.scm ...
loading d:/classes/cs342/lib/sllgen.scm ...
sllgen.scm 2000-09-25 11:48
loading d:/classes/cs342/lib/define-datatype.scm ...
define-datatype.scm version J3 2001-08-26 07:44
loading d:/classes/cs342/lib/test-harness.scm ...
test-harness.scm: unified test harness 2000-12-21 15:24
loading d:/classes/cs342/lib/type-predicates.scm ...
> (load "my-3-5.scm")
loading my-3-5.scm ...
Name:  Gary T. Leavens
Section: all
3-5.scm: language with procedures 2001-05-10 16:12
loading my-3-5-grammar.scm ...
loading my-procval-as-ast.scm ...
> (run "let f = proc (x) 3 in (f 4 2)")
Error reported by apply-procval:
Wrong number of actual arguments, 2, to procedure 
 (closure (x) (lit-exp 3) (extended-env-record (i v x) #(1 5 10) (empty-env-record)))
debug> r
> (run "(proc(x) 3)")
Error reported by apply-procval:
Wrong number of actual arguments, 0, to procedure 
 (closure (x) (lit-exp 3) (extended-env-record (i v x) #(1 5 10) (empty-env-record)))
debug> (run "let add3 = proc (x, y, z) +(x,+(y,z)) in (add3 4 2)")
Invalid command.  Type ? for options.
debug> r
> (run "let add3 = proc (x, y, z) +(x,+(y,z)) in (add3 4 2)")
Error reported by apply-procval:
Wrong number of actual arguments, 2, to procedure 
 (closure (x y z) (primapp-exp (add-prim) ((var-exp x) (primapp-exp (add-prim) ((var-exp y) (var-exp z))))) (extended-env-record (i v x) #(1 5 10) (empty-env-record)))
debug> r
> (run "let add3 = proc (x, y, z) +(x,+(y,z)) in (add3 4 2 5 6)")
Error reported by apply-procval:
Wrong number of actual arguments, 4, to procedure 
 (closure (x y z) (primapp-exp (add-prim) ((var-exp x) (primapp-exp (add-prim) ((var-exp y) (var-exp z))))) (extended-env-record (i v x) #(1 5 10) (empty-env-record)))
debug> r
> (run "let add3 = proc (x, y, z) +(x,+(y,z)) in (add3 4 2 5)")
11
> (quit)

Process scheme finished