Re: slime question, navigating to compilation errors

Luís Oliveira <[email protected]> Tue, 13 Nov 2018 18:16:21 +0000
Newsgroups gmane.lisp.slime.devel
Message-ID <CAB-HnLTUpxUPCYnRnaqqROk4PnW8yR+ApH-ZQhmaXigAvHbbEQ@mail.gmail.com>
--00000000000059f677057a8fd1fa
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Have a look at the *slime-compilation* buffer. There you'll find all the
compilation warnings with useful shortcuts. Not sure why it's not popping
up for you.

Cheers,
Lu=C3=ADs

On Tue, Nov 13, 2018 at 4:14 PM Jim Newton <[email protected]> wrote:

> Perhaps someone can give me some advise about using slime with the sbcl
> compiler.
>
> When I load an asdf system from inside slime, using ,load-system
> sometimes there are compiler warnings and errors printing into the repl
> buffer,
> *slime-repl sbcl* in my case.
>
> Is there a way navigate to the code where the errors occur?
> I've tried the menu items:
>
> SLIME->Compilation->List Notes
> SLIME->Compilation->Next Note
>
> But they don't seem to do anything.
>
>
> For example, in the compile log (printed to the slime repl buffer)
> I see several of "issues" in the text, 1) undefined function FINAL-P
> 2)   #'EQ passed as :key which probably should be :test, 3) Required
> argument is not a symbol: (SM STATE-MACHINE), which is probably a defun
> where it should be defmethod.
>
> Anyway, I can find the errors in my code because I know my own code
> pretty well.  But isn't there something slime can do to help me which
> I'm not taking advantage of?
>
>
> ; compiling (DEFUN FIND-TRANSIT ...)
>
> ; file: /private/var/tmp/tmp.5ur0yB
> ; in: DEFUN FIND-TRANSIT
> ;     (DEFUN NON-DETERMINISTIC-FINITE-AUTOMATA::FIND-TRANSIT
> ;            (
> ;             (NON-DETERMINISTIC-FINITE-AUTOMATA::SM
> ;              NON-DETERMINISTIC-FINITE-AUTOMATA:STATE-MACHINE))
> ;       (LABELS ((NON-DETERMINISTIC-FINITE-AUTOMATA::EXTRACT
> ;
>  (NON-DETERMINISTIC-FINITE-AUTOMATA::TRANSITION-HISTORY)
> ;                  (RETURN-FROM
> NON-DETERMINISTIC-FINITE-AUTOMATA::FIND-TRANSIT #))
> ;                (NON-DETERMINISTIC-FINITE-AUTOMATA::TRANSIT
> ;                    (NON-DETERMINISTIC-FINITE-AUTOMATA::STATE
> ;
> NON-DETERMINISTIC-FINITE-AUTOMATA::TRANSITION-HISTORY)
> ;                  (COND # #)))
> ;         (DOLIST
> ;             (NON-DETERMINISTIC-FINITE-AUTOMATA::STATE
> ;              (NON-DETERMINISTIC-FINITE-AUTOMATA:GET-INITIAL-STATES
> ;               NON-DETERMINISTIC-FINITE-AUTOMATA::SM))
> ;           (NON-DETERMINISTIC-FINITE-AUTOMATA::TRANSIT
> ;            NON-DETERMINISTIC-FINITE-AUTOMATA::STATE NIL))))
> ; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
> ; =3D=3D>
> ;   #'(SB-INT:NAMED-LAMBDA NON-DETERMINISTIC-FINITE-AUTOMATA::FIND-TRANSI=
T
> ;         ((NON-DETERMINISTIC-FINITE-AUTOMATA::SM
> ;           NON-DETERMINISTIC-FINITE-AUTOMATA:STATE-MACHINE))
> ;       (BLOCK NON-DETERMINISTIC-FINITE-AUTOMATA::FIND-TRANSIT
> ;         (LABELS ((NON-DETERMINISTIC-FINITE-AUTOMATA::EXTRACT #
> ;                    #)
> ;                  (NON-DETERMINISTIC-FINITE-AUTOMATA::TRANSIT #
> ;                    #))
> ;           (DOLIST (NON-DETERMINISTIC-FINITE-AUTOMATA::STATE #)
> ;             (NON-DETERMINISTIC-FINITE-AUTOMATA::TRANSIT
> ;              NON-DETERMINISTIC-FINITE-AUTOMATA::STATE NIL)))))
> ;
> ; caught ERROR:
> ;   Required argument is not a symbol: (SM STATE-MACHINE)
> ;
> ; compilation unit finished
> ;   caught 1 ERROR condition
> ; compiling (DEFUN FIND-TRANSIT ...)
>
> ; file: /private/var/tmp/tmp.x7Lnm3
> ; in: DEFUN FIND-TRANSIT
> ;     (DEFUN NON-DETERMINISTIC-FINITE-AUTOMATA::FIND-TRANSIT
> ;            (
> ;             (NON-DETERMINISTIC-FINITE-AUTOMATA::SM
> ;              NON-DETERMINISTIC-FINITE-AUTOMATA:STATE-MACHINE))
> ;       (LABELS ((NON-DETERMINISTIC-FINITE-AUTOMATA::EXTRACT
> ;
>  (NON-DETERMINISTIC-FINITE-AUTOMATA::TRANSITION-HISTORY)
> ;                  (RETURN-FROM
> NON-DETERMINISTIC-FINITE-AUTOMATA::FIND-TRANSIT #))
> ;                (NON-DETERMINISTIC-FINITE-AUTOMATA::TRANSIT
> ;                    (NON-DETERMINISTIC-FINITE-AUTOMATA::STATE
> ;
> NON-DETERMINISTIC-FINITE-AUTOMATA::TRANSITION-HISTORY)
> ;                  (COND # #)))
> ;         (DOLIST
> ;             (NON-DETERMINISTIC-FINITE-AUTOMATA::STATE
> ;              (NON-DETERMINISTIC-FINITE-AUTOMATA:GET-INITIAL-STATES
> ;               NON-DETERMINISTIC-FINITE-AUTOMATA::SM))
> ;           (NON-DETERMINISTIC-FINITE-AUTOMATA::TRANSIT
> ;            NON-DETERMINISTIC-FINITE-AUTOMATA::STATE NIL))))
> ; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
> ; =3D=3D>
> ;   #'(SB-INT:NAMED-LAMBDA NON-DETERMINISTIC-FINITE-AUTOMATA::FIND-TRANSI=
T
> ;         ((NON-DETERMINISTIC-FINITE-AUTOMATA::SM
> ;           NON-DETERMINISTIC-FINITE-AUTOMATA:STATE-MACHINE))
> ;       (BLOCK NON-DETERMINISTIC-FINITE-AUTOMATA::FIND-TRANSIT
> ;         (LABELS ((NON-DETERMINISTIC-FINITE-AUTOMATA::EXTRACT #
> ;                    #)
> ;                  (NON-DETERMINISTIC-FINITE-AUTOMATA::TRANSIT #
> ;                    #))
> ;           (DOLIST (NON-DETERMINISTIC-FINITE-AUTOMATA::STATE #)
> ;             (NON-DETERMINISTIC-FINITE-AUTOMATA::TRANSIT
> ;              NON-DETERMINISTIC-FINITE-AUTOMATA::STATE NIL)))))
> ;
> ; caught ERROR:
> ;   Required argument is not a symbol: (SM STATE-MACHINE)
> ;
> ; compilation unit finished
> ;   caught 1 ERROR condition
> ; compiling (DEFUN FIND-TRANSIT ...)
>
> ; file: /private/var/tmp/tmp.qQtnKo
> ; in: DEFUN FIND-TRANSIT
> ;     (MEMBER NON-DETERMINISTIC-FINITE-AUTOMATA::TRANSITION
> ;             NON-DETERMINISTIC-FINITE-AUTOMATA::TRANSITION :KEY #'EQ)
> ;
> ; caught WARNING:
> ;   The function EQ is called by MEMBER with one argument, but wants
> exactly two.
>
> ; file: /private/var/tmp/tmp.qQtnKo
> ; in: DEFUN FIND-TRANSIT
> ;     (NON-DETERMINISTIC-FINITE-AUTOMATA::FINAL-P
> ;      NON-DETERMINISTIC-FINITE-AUTOMATA::STATE)
> ;
> ; caught STYLE-WARNING:
> ;   undefined function: FINAL-P
> ;
> ; compilation unit finished
> ;   Undefined function:
> ;     FINAL-P
> ;   caught 1 WARNING condition
> ;   caught 1 STYLE-WARNING condition
> ; compiling (DEFUN FIND-TRANSIT ...)
>
> ; file: /private/var/tmp/tmp.996P12
> ; in: DEFUN FIND-TRANSIT
> ;     (MEMBER NON-DETERMINISTIC-FINITE-AUTOMATA::TRANSITION
> ;             NON-DETERMINISTIC-FINITE-AUTOMATA::TRANSITION-HISTORY :KEY
> #'EQ)
> ;
> ; caught WARNING:
> ;   The function EQ is called by MEMBER with one argument, but wants
> exactly two.
>
> ; file: /private/var/tmp/tmp.996P12
> ; in: DEFUN FIND-TRANSIT
> ;     (NON-DETERMINISTIC-FINITE-AUTOMATA::FINAL-P
> ;      NON-DETERMINISTIC-FINITE-AUTOMATA::STATE)
> ;
> ; caught STYLE-WARNING:
> ;   undefined function: FINAL-P
> ;
> ; compilation unit finished
> ;   Undefined function:
> ;     FINAL-P
> ;   caught 1 WARNING condition
> ;   caught 1 STYLE-WARNING condition
> ; compiling (DEFUN FIND-TRANSIT ...)
>
> ; file: /private/var/tmp/tmp.L6YTQn
> ; in: DEFUN FIND-TRANSIT
> ;     (NON-DETERMINISTIC-FINITE-AUTOMATA::FINAL-P
> ;      NON-DETERMINISTIC-FINITE-AUTOMATA::STATE)
> ;
> ; caught STYLE-WARNING:
> ;   undefined function: FINAL-P
> ;
> ; compilation unit finished
> ;   Undefined function:
> ;     FINAL-P
> ;   caught 1 STYLE-WARNING condition
> ; compiling (DEFUN FIND-TRANSIT ...)
> ; compiling (DEFUN FIND-TRANSIT ...)
> CL-USER>
> CL-USER>
>

--00000000000059f677057a8fd1fa
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div>Have a look at the *slime-compilation* buffer. There =
you&#39;ll find all the compilation warnings with useful shortcuts. Not sur=
e why it&#39;s not popping up for you.</div><div><br></div><div>Cheers,</di=
v><div>Lu=C3=ADs<br></div></div><br><div class=3D"gmail_quote"><div dir=3D"=
ltr">On Tue, Nov 13, 2018 at 4:14 PM Jim Newton &lt;<a href=3D"mailto:jimka=
[email protected]">[email protected]</a>&gt; wrote:<br></div><blockquote c=
lass=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;=
padding-left:1ex"><div dir=3D"ltr"><div dir=3D"ltr"><div>Perhaps someone ca=
n give me some advise about using slime with the sbcl compiler.</div><div><=
br></div><div>When I load an asdf system from inside slime, using ,load-sys=
tem</div><div>sometimes there are compiler warnings and errors printing int=
o the repl buffer,</div><div>*slime-repl sbcl* in my case.</div><div><br></=
div><div>Is there a way navigate to the code where the errors occur?</div><=
div>I&#39;ve tried the menu items:</div><div><br></div><div>SLIME-&gt;Compi=
lation-&gt;List Notes</div><div>SLIME-&gt;Compilation-&gt;Next Note</div><d=
iv><br></div><div>But they don&#39;t seem to do anything.</div><div><br></d=
iv><div><br></div><div>For example, in the compile log (printed to the slim=
e repl buffer)</div><div>I see several of &quot;issues&quot; in the text, 1=
) undefined function FINAL-P</div><div>2) =C2=A0 #&#39;EQ passed as :key wh=
ich probably should be :test, 3) Required=C2=A0</div><div>argument is not a=
 symbol: (SM STATE-MACHINE), which is probably a defun=C2=A0</div><div>wher=
e it should be defmethod.</div><div><br></div><div>Anyway, I can find the e=
rrors in my code because I know my own code</div><div>pretty well.=C2=A0 Bu=
t isn&#39;t there something slime can do to help me which</div><div>I&#39;m=
 not taking advantage of?</div><div><br></div><div><br></div><div>; compili=
ng (DEFUN FIND-TRANSIT ...)</div><div><br></div><div>; file: /private/var/t=
mp/tmp.5ur0yB</div><div>; in: DEFUN FIND-TRANSIT</div><div>; =C2=A0 =C2=A0 =
(DEFUN NON-DETERMINISTIC-FINITE-AUTOMATA::FIND-TRANSIT</div><div>; =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0=
 =C2=A0 =C2=A0 (NON-DETERMINISTIC-FINITE-AUTOMATA::SM</div><div>; =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0NON-DETERMINISTIC-FINITE-AUTOMATA:=
STATE-MACHINE))</div><div>; =C2=A0 =C2=A0 =C2=A0 (LABELS ((NON-DETERMINISTI=
C-FINITE-AUTOMATA::EXTRACT</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(NON-DETERMINISTIC-FINITE-AUTOMATA::TRANS=
ITION-HISTORY)</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=
 =C2=A0 =C2=A0(RETURN-FROM NON-DETERMINISTIC-FINITE-AUTOMATA::FIND-TRANSIT =
#))</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(NON=
-DETERMINISTIC-FINITE-AUTOMATA::TRANSIT</div><div>; =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(NON-DETERMINISTIC-FINITE-A=
UTOMATA::STATE</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=
 =C2=A0 =C2=A0 =C2=A0 NON-DETERMINISTIC-FINITE-AUTOMATA::TRANSITION-HISTORY=
)</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0(COND # #)))</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 (DOLIST</div><div>;=
 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (NON-DETERMINISTIC-FINITE-AUTOMA=
TA::STATE</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(NON-=
DETERMINISTIC-FINITE-AUTOMATA:GET-INITIAL-STATES</div><div>; =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 NON-DETERMINISTIC-FINITE-AUTOMATA::SM))<=
/div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (NON-DETERMINISTIC-FINITE-AU=
TOMATA::TRANSIT</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0NON-DE=
TERMINISTIC-FINITE-AUTOMATA::STATE NIL))))</div><div>; --&gt; PROGN SB-IMPL=
::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA=C2=A0</div><div>; =3D=3D&gt;</=
div><div>; =C2=A0 #&#39;(SB-INT:NAMED-LAMBDA NON-DETERMINISTIC-FINITE-AUTOM=
ATA::FIND-TRANSIT</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 ((NON-DETERMINIST=
IC-FINITE-AUTOMATA::SM</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 NON-D=
ETERMINISTIC-FINITE-AUTOMATA:STATE-MACHINE))</div><div>; =C2=A0 =C2=A0 =C2=
=A0 (BLOCK NON-DETERMINISTIC-FINITE-AUTOMATA::FIND-TRANSIT</div><div>; =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 (LABELS ((NON-DETERMINISTIC-FINITE-AUTOMATA::EXTRA=
CT #</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0#)</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0(NON-DETERMINISTIC-FINITE-AUTOMATA::TRANSIT #</div><div>; =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0#))</d=
iv><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (DOLIST (NON-DETERMINISTIC-FIN=
ITE-AUTOMATA::STATE #)</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 (NON-DETERMINISTIC-FINITE-AUTOMATA::TRANSIT</div><div>; =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0NON-DETERMINISTIC-FINITE-AUTOMATA::STATE =
NIL)))))</div><div>;=C2=A0</div><div>; caught ERROR:</div><div>; =C2=A0 Req=
uired argument is not a symbol: (SM STATE-MACHINE)</div><div>;=C2=A0</div><=
div>; compilation unit finished</div><div>; =C2=A0 caught 1 ERROR condition=
</div><div>; compiling (DEFUN FIND-TRANSIT ...)</div><div><br></div><div>; =
file: /private/var/tmp/tmp.x7Lnm3</div><div>; in: DEFUN FIND-TRANSIT</div><=
div>; =C2=A0 =C2=A0 (DEFUN NON-DETERMINISTIC-FINITE-AUTOMATA::FIND-TRANSIT<=
/div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(</div><div>; =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (NON-DETERMINISTIC-FINITE-AUTOMATA::SM</=
div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0NON-DETERMINISTI=
C-FINITE-AUTOMATA:STATE-MACHINE))</div><div>; =C2=A0 =C2=A0 =C2=A0 (LABELS =
((NON-DETERMINISTIC-FINITE-AUTOMATA::EXTRACT</div><div>; =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(NON-DETERMINISTIC-FINI=
TE-AUTOMATA::TRANSITION-HISTORY)</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(RETURN-FROM NON-DETERMINISTIC-FINITE-AUT=
OMATA::FIND-TRANSIT #))</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0(NON-DETERMINISTIC-FINITE-AUTOMATA::TRANSIT</div><div>; =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(NON-D=
ETERMINISTIC-FINITE-AUTOMATA::STATE</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0=
 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 NON-DETERMINISTIC-FINITE-AUTOMAT=
A::TRANSITION-HISTORY)</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0(COND # #)))</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 (DOLIST</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (NON-DETE=
RMINISTIC-FINITE-AUTOMATA::STATE</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0(NON-DETERMINISTIC-FINITE-AUTOMATA:GET-INITIAL-STATES</=
div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 NON-DETERMINIST=
IC-FINITE-AUTOMATA::SM))</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (NO=
N-DETERMINISTIC-FINITE-AUTOMATA::TRANSIT</div><div>; =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0NON-DETERMINISTIC-FINITE-AUTOMATA::STATE NIL))))</div><=
div>; --&gt; PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA=C2=
=A0</div><div>; =3D=3D&gt;</div><div>; =C2=A0 #&#39;(SB-INT:NAMED-LAMBDA NO=
N-DETERMINISTIC-FINITE-AUTOMATA::FIND-TRANSIT</div><div>; =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 ((NON-DETERMINISTIC-FINITE-AUTOMATA::SM</div><div>; =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 NON-DETERMINISTIC-FINITE-AUTOMATA:STATE-MACHINE))<=
/div><div>; =C2=A0 =C2=A0 =C2=A0 (BLOCK NON-DETERMINISTIC-FINITE-AUTOMATA::=
FIND-TRANSIT</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 (LABELS ((NON-DETERMIN=
ISTIC-FINITE-AUTOMATA::EXTRACT #</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0#)</div><div>; =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(NON-DETERMINISTIC-FINITE-AUTO=
MATA::TRANSIT #</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0#))</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
(DOLIST (NON-DETERMINISTIC-FINITE-AUTOMATA::STATE #)</div><div>; =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (NON-DETERMINISTIC-FINITE-AUTOMATA::TRANSIT=
</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0NON-DETERMINIS=
TIC-FINITE-AUTOMATA::STATE NIL)))))</div><div>;=C2=A0</div><div>; caught ER=
ROR:</div><div>; =C2=A0 Required argument is not a symbol: (SM STATE-MACHIN=
E)</div><div>;=C2=A0</div><div>; compilation unit finished</div><div>; =C2=
=A0 caught 1 ERROR condition</div><div>; compiling (DEFUN FIND-TRANSIT ...)=
</div><div><br></div><div>; file: /private/var/tmp/tmp.qQtnKo</div><div>; i=
n: DEFUN FIND-TRANSIT</div><div>; =C2=A0 =C2=A0 (MEMBER NON-DETERMINISTIC-F=
INITE-AUTOMATA::TRANSITION</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 NON-DETERMINISTIC-FINITE-AUTOMATA::TRANSITION :KEY #&#39;EQ)</div><d=
iv>;=C2=A0</div><div>; caught WARNING:</div><div>; =C2=A0 The function EQ i=
s called by MEMBER with one argument, but wants exactly two.</div><div><br>=
</div><div>; file: /private/var/tmp/tmp.qQtnKo</div><div>; in: DEFUN FIND-T=
RANSIT</div><div>; =C2=A0 =C2=A0 (NON-DETERMINISTIC-FINITE-AUTOMATA::FINAL-=
P</div><div>; =C2=A0 =C2=A0 =C2=A0NON-DETERMINISTIC-FINITE-AUTOMATA::STATE)=
</div><div>;=C2=A0</div><div>; caught STYLE-WARNING:</div><div>; =C2=A0 und=
efined function: FINAL-P</div><div>;=C2=A0</div><div>; compilation unit fin=
ished</div><div>; =C2=A0 Undefined function:</div><div>; =C2=A0 =C2=A0 FINA=
L-P</div><div>; =C2=A0 caught 1 WARNING condition</div><div>; =C2=A0 caught=
 1 STYLE-WARNING condition</div><div>; compiling (DEFUN FIND-TRANSIT ...)</=
div><div><br></div><div>; file: /private/var/tmp/tmp.996P12</div><div>; in:=
 DEFUN FIND-TRANSIT</div><div>; =C2=A0 =C2=A0 (MEMBER NON-DETERMINISTIC-FIN=
ITE-AUTOMATA::TRANSITION</div><div>; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 NON-DETERMINISTIC-FINITE-AUTOMATA::TRANSITION-HISTORY :KEY #&#39;EQ)</d=
iv><div>;=C2=A0</div><div>; caught WARNING:</div><div>; =C2=A0 The function=
 EQ is called by MEMBER with one argument, but wants exactly two.</div><div=
><br></div><div>; file: /private/var/tmp/tmp.996P12</div><div>; in: DEFUN F=
IND-TRANSIT</div><div>; =C2=A0 =C2=A0 (NON-DETERMINISTIC-FINITE-AUTOMATA::F=
INAL-P</div><div>; =C2=A0 =C2=A0 =C2=A0NON-DETERMINISTIC-FINITE-AUTOMATA::S=
TATE)</div><div>;=C2=A0</div><div>; caught STYLE-WARNING:</div><div>; =C2=
=A0 undefined function: FINAL-P</div><div>;=C2=A0</div><div>; compilation u=
nit finished</div><div>; =C2=A0 Undefined function:</div><div>; =C2=A0 =C2=
=A0 FINAL-P</div><div>; =C2=A0 caught 1 WARNING condition</div><div>; =C2=
=A0 caught 1 STYLE-WARNING condition</div><div>; compiling (DEFUN FIND-TRAN=
SIT ...)</div><div><br></div><div>; file: /private/var/tmp/tmp.L6YTQn</div>=
<div>; in: DEFUN FIND-TRANSIT</div><div>; =C2=A0 =C2=A0 (NON-DETERMINISTIC-=
FINITE-AUTOMATA::FINAL-P</div><div>; =C2=A0 =C2=A0 =C2=A0NON-DETERMINISTIC-=
FINITE-AUTOMATA::STATE)</div><div>;=C2=A0</div><div>; caught STYLE-WARNING:=
</div><div>; =C2=A0 undefined function: FINAL-P</div><div>;=C2=A0</div><div=
>; compilation unit finished</div><div>; =C2=A0 Undefined function:</div><d=
iv>; =C2=A0 =C2=A0 FINAL-P</div><div>; =C2=A0 caught 1 STYLE-WARNING condit=
ion</div><div>; compiling (DEFUN FIND-TRANSIT ...)</div><div>; compiling (D=
EFUN FIND-TRANSIT ...)</div><div>CL-USER&gt;=C2=A0</div><div>CL-USER&gt;=C2=
=A0</div></div></div>
</blockquote></div>

--00000000000059f677057a8fd1fa--