Path: utzoo!mnetor!uunet!husc6!cmcl2!rutgers!orstcs!ruffwork
From: ruffwork@orstcs.CS.ORST.EDU (Ritchey Ruff)
Newsgroups: comp.lang.lisp
Subject: Re: Correctness (I see I'm wrong...)
Message-ID: <1596@orstcs.CS.ORST.EDU>
Date: 18 Dec 87 22:01:57 GMT
References: <3247@megaron.arizona.edu>
Reply-To: ruffwork@orstcs.CS.ORST.EDU.UUCP (Ritchey Ruff)
Organization: Oregon State University - CS - Corvallis, Oregon
Lines: 15

First I want to clear up that the program segment was more like -

(defun foo(n)
  (declare (integer n))
  (integer-only-function (the integer n)))

Silly me.  I saw that "the" assures that its value is of the
type stated, but failed to note that it is simply a "declaration"
for unnamed forms.  In this vain I'm wrong (20 lashes with a gc'ed
cons cell).  I still have a gripe but will let this dead horses die...

sigh...shows what happens what an Interlisp hacker tries to move
to Common Lisp ( 8-0 "oh, no!" ;-).

--ritchey ruff