Path: utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!mailrus!ames!lll-tis!helios.ee.lbl.gov!pasteur!ucbvax!decwrl!sun!pitstop!sundc!seismo!uunet!mcvax!ukc!etive!aiva!jeff
From: jeff@aiva.ed.ac.uk (Jeff Dalton)
Newsgroups: comp.lang.lisp
Subject: Re: nested function definitions
Message-ID: <483@aiva.ed.ac.uk>
Date: 5 Jul 88 17:29:45 GMT
References: <5862@spool.cs.wisc.edu> <5568@utah-cs.UUCP>
Reply-To: jeff@uk.ac.ed.aiva (Jeff Dalton)
Organization: Dept. of AI, Univ. of Edinburgh, UK
Lines: 13

In article <5568@utah-cs.UUCP> sandra@utah-cs.UUCP (Sandra J Loosemore) writes:
>Strictly speaking, Common Lisp does not (yet) support DEFUN except at
>"top-level" locations; see CLtL p. 66.

I disagree with this interpretation of CLtL.  Page 67 is clearly and
explicitly defined the meaning of DEFUN when not at the top-level.
Page 66 is relatively vague, but the only thing it definately says
may not work is the compilation of such DEFUNs.  That is why, after
all, this issue has been sent to x3j13's compilewr committee.

Jeff Dalton,                      JANET: J.Dalton@uk.ac.ed             
AI Applications Institute,        ARPA:  J.Dalton%uk.ac.ed@nss.cs.ucl.ac.uk
Edinburgh University.             UUCP:  ...!ukc!ed.ac.uk!J.Dalton