Testing for type-of

[Derek Manwaring]

Jay,

Is it sufficient to show that a couple wrong types are rejected by each part of the syntax, like this:

(test/exn (type-of (parse '(nfirst 1)))

          "Argumet of nfirst must be type (t-nlist)")

(test/exn (type-of (parse '(nfirst false)))

          "Argumet of nfirst must be type (t-nlist)")

Or do we need to show that every incorrect type is rejected for each part of the syntax. (Meaning adding a test for calling nfirst with a function as its argument in addition to the above two tests)

Derek

[Jay McCarthy]

What you have is sufficient

--
Jay McCarthy <j...@cs.byu.edu>
Assistant Professor / Brigham Young University
http://faculty.cs.byu.edu/~jay

"The glory of God is Intelligence" - D&C 93