Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!cs.utexas.edu!uunet!franz!cox From: cox@Franz.COM (Charles A. Cox) Newsgroups: comp.lang.lisp Subject: Re: NCONC & Functions Message-ID: Date: 29 Nov 89 17:57:54 GMT References: <464@ntcsd1.UUCP> <31792@news.Think.COM> Sender: usenet@Franz.COM Distribution: na Organization: Franz Inc., Berkeley, CA Lines: 53 In-reply-to: barmar@think.com's message of 29 Nov 89 03:56:39 GMT In article <31792@news.Think.COM> barmar@think.com writes: In article <464@ntcsd1.UUCP> mps@ntcsd1.UUCP (Michael Smith) writes: > >(DEFUN foo1 () '(a b c)) > >FOO1 > >(foo1) > >(A B C) > >(NCONC (foo1) '(d e f)) > >(A B C D E F) > >(foo1) > >(A B C D E F) [ . . . ] >(DEFUN foo2 () (LIST 'a 'b 'c)) is unaffected in the same situation. > I'm told that even FOO2 is affected when >running Franz on a DEC station. That's a bug in Franz. There's no bug here since Allegro CL is doing the right thing (i.e. what Mr. Smith was told is incorrect). You are correct, though, that had it been the case that foo2 was affected, it would have been a bug. From the Decstation: (DEFUN foo2 () (LIST 'a 'b 'c)) FOO2 (NCONC (foo2) '(d e f)) (A B C D E F) (foo2) (A B C) (proclaim '(optimize (speed 3) (safety 0))) T (compile 'foo2) FOO2 (NCONC (foo2) '(d e f)) (A B C D E F) (foo2) (A B C) -- --- Charles A. Cox, Franz Inc. 1995 University Avenue, Suite 275 Internet: cox@franz.com Berkeley, CA 94704 uucp: uunet!franz!cox Phone: (415) 548-3600 FAX: (415) 548-8253