AIM-8

Hello,

This is actually meant to be a post to the following thread


http://groups.google.com/group/comp.lang.lisp/browse_frm/thread/76b970c391499b3/36f2bf9aa3cea3cd?q=AIM-8&rnum=1#36f2bf9aa3cea3cd

but google groups wouldn't let me post to it, I guess it's to old or
something...

Anyways, someone mentioned Pascal's AIM-8 in cl implementation last
night in #lisp. I tried to to load it but there's some function
HANDLING-ERRORS in the REPL defun that isn't defined in either of the
documents or included in any cl implementations I know of.

My question is about the primitive LABEL, I couldn't quite figure it
out from the code. The only place it's used in the document is is in
the comment

;;(funcall (LABEL fact (lambda (x) (cond ((= 1 x) 1) (t (* x (fact (1-
x))))))) 6)

Thus I'm guessing that it is in fact the parent of common-lisp's
#'labels. Is DEFINE inadequate for representing recursive functions? Is
this because the AIM-8 repl uses substitution and not binding?

thanks

nick

.