<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><div>On Nov 11, 2012, at 18:46 , Juan Jose Garcia-Ripoll <<a href="mailto:juanjose.garciaripoll@gmail.com">juanjose.garciaripoll@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">On Wed, Oct 31, 2012 at 1:17 AM, Matthias Hölzl <span dir="ltr"><<a href="mailto:tc@xantira.com" target="_blank">tc@xantira.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
when compiling the Snark theorem prover (<<a href="http://www.ai.sri.com/~stickel/snark.html" target="_blank">http://www.ai.sri.com/~stickel/snark.html</a>>, or with ASDF system definition at <<a href="https://github.com/hoelzl/Snark" target="_blank">https://github.com/hoelzl/Snark</a>>), ECL (version 12.7.1 on OSX 10.8.2, installed using homebrew) fails with an internal error:</blockquote>
</div><div class="gmail_extra"><br></div>I have worked out the origin of the error. It is in a nested set of LABELS and closure forms that is complicated enough to make ECL's closure detection algorithm fail.</div><div class="gmail_extra">
<br></div><div class="gmail_extra">[...]</div>
<div class="gmail_extra"><br></div><div class="gmail_extra">The result seems to be that ECL now can *build* Snark. It would be nice to have some idea about the actual performance, for it might uncover further bugs to be tracked down.</div></blockquote><div><br></div><div>Many thanks for solving the problem with building Snark on ECL. I can now build and run our Iliad system (which uses Snark as a central component) and successfully run all tests that don't use Snark. It is also possible to initialize Snark and define logical theories, however as soon as I try to start a proof I get an error message (both in Iliad and in stand-alone Snark):</div><div><br></div><div><font face="Monaco"><span style="background-color: transparent; font-size: 12px;">================================================================================</span></font></div><div><div><font face="Monaco" style="font-size: 12px;">bash-3.2$ ecl</font></div><div><font face="Monaco" style="font-size: 12px;">;;; Loading "/Users/tc/Prog/Lisp/Quicklisp/setup.lisp"</font></div><div><font face="Monaco" style="font-size: 12px;">;;; Loading #P"/usr/local/lib/ecl-12.7.1/cmp.fas"</font></div><div><font face="Monaco" style="font-size: 12px;">;;; Loading #P"/usr/local/lib/ecl-12.7.1/asdf.fas"</font></div><div><font face="Monaco" style="font-size: 12px;">ECL (Embeddable Common-Lisp) 12.7.1 (git:b970c5b206f2590531bab24acadfff165ccb2f92)</font></div><div><font face="Monaco" style="font-size: 12px;">Copyright (C) 1984 Taiichi Yuasa and Masami Hagiya</font></div><div><font face="Monaco" style="font-size: 12px;">Copyright (C) 1993 Giuseppe Attardi</font></div><div><font face="Monaco" style="font-size: 12px;">Copyright (C) 2000 Juan J. Garcia-Ripoll</font></div><div><font face="Monaco" style="font-size: 12px;">ECL is free software, and you are welcome to redistribute it</font></div><div><font face="Monaco" style="font-size: 12px;">under certain conditions; see file 'Copyright' for details.</font></div><div><font face="Monaco" style="font-size: 12px;">Type :h for Help. </font></div><div><font face="Monaco" style="font-size: 12px;">Top level in: #<process TOP-LEVEL>.</font></div><div><font face="Monaco" style="font-size: 12px;">> (asdf:load-system :snark)</font></div><div><font face="Monaco" style="font-size: 12px;"><br></font></div><div><font face="Monaco" style="font-size: 12px;">;;; Loading "/Users/tc/Prog/Lisp/Hacking/Snark/snark.asd"</font></div><div><font face="Monaco"><span style="font-size: 12px;">[...]</span></font></div><div><font face="Monaco" style="font-size: 12px;">;;; Loading "/Users/tc/.cache/common-lisp/ecl-12.7.1-b970c5b2-macosx-x86/Users/tc/Prog/Lisp/Hacking/Snark/src/coder.fas"</font></div><div><font face="Monaco" style="font-size: 12px;">T</font></div><div><font face="Monaco" style="font-size: 12px;">> (in-package :snark-user)</font></div><div><font face="Monaco" style="font-size: 12px;">#<"SNARK-USER" package></font></div><div><font face="Monaco" style="font-size: 12px;"><br></font></div><div><font face="Monaco" style="font-size: 12px;">SNARK-USER> (initialize)</font></div><div><font face="Monaco" style="font-size: 12px;">; Running SNARK from /Users/tc/Prog/Lisp/Hacking/Snark/ in ECL 12.7.1 on silverbird.fritz.box at 2012-11-16T19:50:40</font></div><div><font face="Monaco" style="font-size: 12px;">NIL</font></div><div><font face="Monaco" style="font-size: 12px;"><br></font></div><div><font face="Monaco" style="font-size: 12px;">SNARK-USER> (use-resolution)</font></div><div><font face="Monaco" style="font-size: 12px;">T</font></div><div><font face="Monaco" style="font-size: 12px;"><br></font></div><div><font face="Monaco" style="font-size: 12px;">SNARK-USER> (assert '(foo x))</font></div><div><font face="Monaco" style="font-size: 12px;">NIL</font></div><div><font face="Monaco" style="font-size: 12px;"><br></font></div><div><font face="Monaco" style="font-size: 12px;">SNARK-USER> (prove '(foo ?x) :answer '(ans ?x))</font></div><div><font face="Monaco" style="font-size: 12px;"><br></font></div><div><font face="Monaco" style="font-size: 12px;">; The current SNARK option values are</font></div><div><font face="Monaco" style="font-size: 12px;">; (USE-RESOLUTION T)</font></div><div><font face="Monaco" style="font-size: 12px;">; (USE-HYPERRESOLUTION NIL)</font></div><div><span style="font-size: 12px; font-family: Monaco; ">[... More output of Snark]</span></div><div><span style="font-size: 12px; font-family: Monaco; ">; (USE-RELEVANCE-TEST NIL)</span></div><div><font face="Monaco" style="font-size: 12px;"><br></font></div><div><font face="Monaco" style="font-size: 12px;">Condition of type: TYPE-ERROR</font></div><div><font face="Monaco" style="font-size: 12px;">SI:MISSING-KEYWORD is not of type SNARK-SPARSE-ARRAY::SPARSE-VECTOR-INDEX.</font></div><div><font face="Monaco" style="font-size: 12px;">Available restarts:</font></div><div><font face="Monaco" style="font-size: 12px;"><br></font></div><div><font face="Monaco" style="font-size: 12px;">1. (RESTART-TOPLEVEL) Go back to Top-Level REPL.</font></div><div><font face="Monaco" style="font-size: 12px;"><br></font></div><div><font face="Monaco" style="font-size: 12px;">Broken at SI:BYTECODES. [Evaluation of: (SNARK:PROVE '(SNARK-USER::FOO SNARK:?X) :ANSWER '(SNARK-USER::ANS SNARK:?X))] In: #<process TOP-LEVEL>.</font></div><div><span style="font-size: 12px; font-family: Monaco; ">>> :b</span></div><div><font face="Monaco" style="font-size: 12px;"><br></font></div><div><font face="Monaco" style="font-size: 12px;">Backtrace:</font></div><div><font face="Monaco" style="font-size: 12px;"> > SI:BYTECODES [Evaluation of: (SNARK:PROVE '(SNARK-USER::FOO SNARK:?X) :ANSWER '(SNARK-USER::ANS SNARK:?X))]</font></div><div><font face="Monaco" style="font-size: 12px;"> > si:bytecodes [Evaluation of: (si:top-level t)]</font></div><div><font face="Monaco" style="font-size: 12px;"><br></font></div><div><font face="Monaco" style="font-size: 12px;">>> :f</font></div><div><font face="Monaco" style="font-size: 12px;"><br></font></div><div><font face="Monaco" style="font-size: 12px;">Broken at SI:BYTECODES. [Evaluation of: (SNARK:PROVE '(SNARK-USER::FOO SNARK:?X) :ANSWER '(SNARK-USER::ANS SNARK:?X))] In: #<process TOP-LEVEL>.</font></div><div><font face="Monaco" style="font-size: 12px;">>> :disassemble</font></div><div><font face="Monaco" style="font-size: 12px;"><br></font></div><div><font face="Monaco" style="font-size: 12px;">#((SNARK-USER::FOO SNARK:?X) :ANSWER (SNARK-USER::ANS SNARK:?X) SNARK:PROVE) </font></div><div><font face="Monaco" style="font-size: 12px;">Name:<span class="Apple-tab-span" style="white-space:pre"> </span>BYTECODES</font></div><div><font face="Monaco" style="font-size: 12px;">Evaluated form:</font></div><div><font face="Monaco" style="font-size: 12px;"> 0<span class="Apple-tab-span" style="white-space:pre"> </span>PUSH<span class="Apple-tab-span" style="white-space:pre"> </span>'(SNARK-USER::FOO SNARK:?X)</font></div><div><font face="Monaco" style="font-size: 12px;"> 2<span class="Apple-tab-span" style="white-space:pre"> </span>PUSHVS<span class="Apple-tab-span" style="white-space:pre"> </span>:ANSWER</font></div><div><font face="Monaco" style="font-size: 12px;"> 4<span class="Apple-tab-span" style="white-space:pre"> </span>PUSH<span class="Apple-tab-span" style="white-space:pre"> </span>'(SNARK-USER::ANS SNARK:?X)</font></div><div><font face="Monaco" style="font-size: 12px;"> 6<span class="Apple-tab-span" style="white-space:pre"> </span>CALLG<span class="Apple-tab-span" style="white-space:pre"> </span>3,PROVE</font></div><div><font face="Monaco" style="font-size: 12px;"> 9<span class="Apple-tab-span" style="white-space:pre"> </span>EXIT</font></div><div><font face="Monaco" style="font-size: 12px;">>> :le</font></div><div><font face="Monaco" style="font-size: 12px;"><br></font></div><div><font face="Monaco" style="font-size: 12px;">(SNARK:PROVE '(SNARK-USER::FOO SNARK:?X) :ANSWER '(SNARK-USER::ANS SNARK:?X))</font></div><div><font face="Monaco" style="font-size: 12px;">>> (quit)</font></div><div><br></div><div><font face="Monaco" style="font-size: 12px;">; Summary of computation:</font></div><div><font face="Monaco"><span style="background-color: transparent; font-size: 12px;">[... Some more output of Snark]</span></font></div><div><font face="Monaco" style="font-size: 12px;">; The agenda of input rows to process has 2 entries:</font></div><div><font face="Monaco" style="font-size: 12px;">Condition of type: TYPE-ERROR</font></div><div><font face="Monaco" style="font-size: 12px;">SI:MISSING-KEYWORD is not of type SNARK-SPARSE-ARRAY::SPARSE-VECTOR-INDEX.</font></div><div><font face="Monaco" style="font-size: 12px;"><br></font></div><div><font face="Monaco" style="font-size: 12px;">Available restarts:</font></div><div><font face="Monaco" style="font-size: 12px;"><br></font></div><div><font face="Monaco" style="font-size: 12px;">1. (RESTART-TOPLEVEL) Go back to Top-Level REPL.</font></div><div><font face="Monaco" style="font-size: 12px;"><br></font></div><div><font face="Monaco" style="font-size: 12px;">Broken at SI:BYTECODES. [Evaluation of: (SNARK:PROVE '(SNARK-USER::FOO SNARK:?X) :ANSWER '(SNARK-USER::ANS SNARK:?X))] In: #<process TOP-LEVEL>.</font></div><div><font face="Monaco" style="font-size: 12px;">>> :q</font></div><div><font face="Monaco" style="font-size: 12px;">Top level in: #<process TOP-LEVEL>.</font></div><div><font face="Monaco" style="font-size: 12px;"><br></font></div><div><font face="Monaco" style="font-size: 12px;">SNARK-USER> (quit)</font></div><div><font face="Monaco" style="font-size: 12px;">NIL</font></div><div><font face="Monaco" style="font-size: 12px;"><br></font></div><div><font face="Monaco" style="font-size: 12px;">SNARK-USER> </font></div></div></div><span style="font-family: Monaco; font-size: 12px; ">================================================================================</span><br><div><br></div><div>I'm not sure what the reason for this error might be. However it might be a more general problem with my ECL installation since I cannot load Slime either. When trying to load Slime I get the following result:</div><div><br></div><div><span style="font-family: Monaco; font-size: 12px; ">================================================================================</span></div><div><div><font face="Monaco"><span style="font-size: 12px;">(progn (load "/Users/tc/Prog/Lisp/Slime/swank-loader.lisp" :verbose t) (funcall (read-from-string "swank-loader:init")) (funcall (read-from-string "swank:start-server") "/var/folders/7k/fxjq0hl95rv8xs93mgj04vp00000gn/T/slime.18263"))</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"><br></span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Loading "/Users/tc/Prog/Lisp/Quicklisp/setup.lisp"</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Loading #P"/usr/local/lib/ecl-12.7.1/cmp.fas"</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Loading #P"/usr/local/lib/ecl-12.7.1/asdf.fas"</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file impl-util.lisp, position 48</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFINTERFACE CALL-WITH-QUIET-COMPILATION ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! The variable #:%IMPLEMENTATION is not used.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">[...]</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file impl-util.lisp, position 9155</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFINTERFACE DELETE-DIRECTORY-TREE ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! The variable #:%IMPLEMENTATION is not used.;;; Warning: COMPILE-FILE warned while performing</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"> #<compile-op (:VERBOSE NIL) 000000011079c0f0> on</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"> #<cl-source-file "quicklisp" "impl-util">.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"><br></span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file network.lisp, position 75</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFINTERFACE HOST-ADDRESS ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! The variable #:%IMPLEMENTATION is not used.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">[...]</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file network.lisp, position 4313</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFINTERFACE CALL-WITH-CONNECTION ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! The variable #:%IMPLEMENTATION is not used.;;; Warning: COMPILE-FILE warned while performing</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"> #<compile-op (:VERBOSE NIL) 000000011079c0f0> on</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"> #<cl-source-file "quicklisp" "network">.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"><br></span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file deflate.lisp, position 4847</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFUN GENERATE-CRC32-TABLE ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! Too few arguments for proclaimed function LOGAND</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file deflate.lisp, position 5742</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFUN UPDATE-CRC32-CHECKSUM ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! Too few arguments for proclaimed function LOGAND</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! Too few arguments for proclaimed function LOGAND</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! Too few arguments for proclaimed function LOGAND;;; Warning: COMPILE-FILE warned while performing</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"> #<compile-op (:VERBOSE NIL) 000000011079c0f0> on</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"> #<cl-source-file "quicklisp" "deflate">.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"><br></span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file cdb.lisp, position 77</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFUN CDB-HASH ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! Too few arguments for proclaimed function LOGAND</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file cdb.lisp, position 1046</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFUN READ-CDB-U32 ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! Too few arguments for proclaimed function LOGAND</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file cdb.lisp, position 2580</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFUN STREAM-LOOKUP ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! Too few arguments for proclaimed function LOGAND</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file cdb.lisp, position 9100</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFUN ADD-RECORD ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! Too few arguments for proclaimed function LOGAND</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! Too few arguments for proclaimed function LOGAND</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! Too few arguments for proclaimed function LOGAND</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! Too few arguments for proclaimed function LOGAND</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! Too few arguments for proclaimed function LOGAND;;; Warning: COMPILE-FILE warned while performing</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"> #<compile-op (:VERBOSE NIL) 000000011079c0f0> on</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"> #<cl-source-file "quicklisp" "cdb">.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"><br></span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file dist.lisp, position 4920</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFGENERIC PREFERENCE ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! The variable OBJECT is not used.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"><br></span></font></div><div><font face="Monaco"><span style="font-size: 12px;">[...]</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"><br></span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file dist.lisp, position 33391</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFMETHOD PROVIDED-SYSTEMS ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! The variable OBJECT is not used.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file dist.lisp, position 33594</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFMETHOD PROVIDED-RELEASES ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! The variable OBJECT is not used.;;; Warning: COMPILE-FILE warned while performing</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"> #<compile-op (:VERBOSE NIL) 000000011079c0f0> on</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"> #<cl-source-file "quicklisp" "dist">.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"><br></span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file client.lisp, position 1117</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFMETHOD QUICKLOAD ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! The variable EXPLAIN is not used.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file client.lisp, position 1117</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFMETHOD QUICKLOAD ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! The variable PROMPT is not used.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file client.lisp, position 1117</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFMETHOD QUICKLOAD ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! The variable VERBOSE is not used.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file client.lisp, position 1117</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFMETHOD QUICKLOAD ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! The variable SYSTEMS is not used.;;; Warning: COMPILE-FILE warned while performing</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"> #<compile-op (:VERBOSE NIL) 000000011079c0f0> on</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"> #<cl-source-file "quicklisp" "client">.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"><br></span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file dist-update.lisp, position 3816</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFMETHOD UPDATE-IN-PLACE ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! The variable NEW-DIST is not used.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file dist-update.lisp, position 3986</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFMETHOD UPDATE-IN-PLACE ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! The variable OLD-DIST is not used.;;; Warning: COMPILE-FILE warned while performing</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"> #<compile-op (:VERBOSE NIL) 000000011079c0f0> on</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"> #<cl-source-file "quicklisp" "dist-update">.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">ECL (Embeddable Common-Lisp) 12.7.1 (git:b970c5b206f2590531bab24acadfff165ccb2f92)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">Copyright (C) 1984 Taiichi Yuasa and Masami Hagiya</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">Copyright (C) 1993 Giuseppe Attardi</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">Copyright (C) 2000 Juan J. Garcia-Ripoll</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">ECL is free software, and you are welcome to redistribute it</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">under certain conditions; see file 'Copyright' for details.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">Type :h for Help. </span></font></div><div><font face="Monaco"><span style="font-size: 12px;">Top level in: #<process TOP-LEVEL>.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">> </span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Loading "/Users/tc/Prog/Lisp/Slime/swank-loader.lisp"</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;;</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Compiling /Users/tc/Prog/Lisp/Slime/swank-backend.lisp.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=0</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;;</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file swank-backend.lisp, position 21332</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (FSET 'WITH-COMPILATION-HOOKS ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! The variable #:G460 is not used.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file swank-backend.lisp, position 47770</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFINTERFACE SEND ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! The variable THREAD is not used.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file swank-backend.lisp, position 48337</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFINTERFACE FIND-REGISTERED ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! The variable NAME is not used.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; End of Pass 1.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Finished compiling /Users/tc/Prog/Lisp/Slime/swank-backend.lisp.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;;</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Loading "/Users/tc/.slime/fasl/2012-11-13/ecl-12.7.1-b970c5b2-darwin-i686/swank-backend.fas"</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;;</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Compiling /Users/tc/Prog/Lisp/Slime/swank-source-path-parser.lisp.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=0</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;;</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; End of Pass 1.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">[...]</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Finished compiling /Users/tc/Prog/Lisp/Slime/swank-source-file-cache.lisp.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;;</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Loading "/Users/tc/.slime/fasl/2012-11-13/ecl-12.7.1-b970c5b2-darwin-i686/swank-source-file-cache.fas"</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;;</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Compiling /Users/tc/Prog/Lisp/Slime/swank-ecl.lisp.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=0</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;;</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Loading "/usr/local/lib/ecl-12.7.1/profile.asd"</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Loading "/usr/local/lib/ecl-12.7.1/profile.fas"</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Loading "/usr/local/lib/ecl-12.7.1/serve-event.asd"</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Loading "/usr/local/lib/ecl-12.7.1/serve-event.fas"</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Style warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file swank-ecl.lisp, position 2486</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFIMPLEMENTATION ACCEPT-CONNECTION ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! Variable LINE was undefined. Compiler assumes it is a global.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; End of Pass 1.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Finished compiling /Users/tc/Prog/Lisp/Slime/swank-ecl.lisp.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;;</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Loading "/Users/tc/.slime/fasl/2012-11-13/ecl-12.7.1-b970c5b2-darwin-i686/swank-ecl.fas"</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;;</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Compiling /Users/tc/Prog/Lisp/Slime/swank-gray.lisp.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=3</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;;</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file swank-gray.lisp, position 2055</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFMETHOD STREAM-LINE-LENGTH ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! The variable STREAM is not used.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file swank-gray.lisp, position 4140</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFMETHOD STREAM-LINE-COLUMN ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! The variable S is not used.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file swank-gray.lisp, position 4203</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFMETHOD STREAM-LINE-LENGTH ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! The variable S is not used.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; End of Pass 1.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Finished compiling /Users/tc/Prog/Lisp/Slime/swank-gray.lisp.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;;</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">[...]</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;;</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Loading "/Users/tc/.slime/fasl/2012-11-13/ecl-12.7.1-b970c5b2-darwin-i686/swank-rpc.fas"</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;;</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Compiling /Users/tc/Prog/Lisp/Slime/swank.lisp.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=3</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;;</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file swank.lisp, position 105352</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (FSET 'WITH-DESCRIBE-SETTINGS ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! The variable #:G1041 is not used.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; End of Pass 1.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Finished compiling /Users/tc/Prog/Lisp/Slime/swank.lisp.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;;</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Loading "/Users/tc/.slime/fasl/2012-11-13/ecl-12.7.1-b970c5b2-darwin-i686/swank.fas"</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning: These Swank interfaces are unimplemented:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"> (ACTIVATE-STEPPING ADD-FD-HANDLER ADD-SIGIO-HANDLER BACKGROUND-SAVE-IMAGE DUP</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"> EXEC-IMAGE FRAME-CALL LIST-CALLEES LIST-CALLERS MACROEXPAND-ALL</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"> MAKE-FD-STREAM REMOVE-FD-HANDLERS REMOVE-SIGIO-HANDLERS RESTART-FRAME</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"> RETURN-FROM-FRAME SAVE-IMAGE SLDB-BREAK-AT-START SLDB-BREAK-ON-RETURN</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"> SLDB-STEP-INTO SLDB-STEP-NEXT SLDB-STEP-OUT TOGGLE-TRACE)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Loading "/Users/tc/.swank.lisp"</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;;</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Compiling /Users/tc/Prog/Lisp/Slime/contrib/swank-util.lisp.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=3</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;;</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; End of Pass 1.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Finished compiling /Users/tc/Prog/Lisp/Slime/contrib/swank-util.lisp.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">[...]</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Compiling /Users/tc/Prog/Lisp/Slime/contrib/swank-arglists.lisp.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=3</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;;</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Loading "/Users/tc/.slime/fasl/2012-11-13/ecl-12.7.1-b970c5b2-darwin-i686/contrib/swank-c-p-c.fas"</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file swank-arglists.lisp, position 36057</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFMETHOD COMPUTE-ENRICHED-DECODED-ARGLIST ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! The variable OPERATOR-FORM is not used.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">[...]</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file swank-arglists.lisp, position 54430</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFGENERIC EXTRACT-LOCAL-OP-ARGLISTS ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! The variable OPERATOR is not used.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; End of Pass 1.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Finished compiling /Users/tc/Prog/Lisp/Slime/contrib/swank-arglists.lisp.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;;</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;;</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Compiling /Users/tc/Prog/Lisp/Slime/contrib/swank-fuzzy.lisp.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=3</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;;</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; End of Pass 1.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Finished compiling /Users/tc/Prog/Lisp/Slime/contrib/swank-fuzzy.lisp.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;;</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;;</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Compiling /Users/tc/Prog/Lisp/Slime/contrib/swank-fancy-inspector.lisp.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=3</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;;</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file swank-fancy-inspector.lisp, position 24913</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFMETHOD MAKE-SYMBOLS-LISTING ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! The variable GROUPING-KIND is not used.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Warning:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; in file swank-fancy-inspector.lisp, position 26666</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; at (DEFMETHOD MAKE-SYMBOLS-LISTING ...)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ! The variable GROUPING-KIND is not used.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; End of Pass 1..slime/fasl/2012-11-13/ecl-12.7.1-b970c5b2-darwin-i686/contrib/swank-fancy-inspector.c: In function ‘LC62normalize_classifications’:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">.slime/fasl/2012-11-13/ecl-12.7.1-b970c5b2-darwin-i686/contrib/swank-fancy-inspector.c:4167: error: ‘CLV0’ undeclared (first use in this function)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">.slime/fasl/2012-11-13/ecl-12.7.1-b970c5b2-darwin-i686/contrib/swank-fancy-inspector.c:4167: error: (Each undeclared identifier is reported only once</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">.slime/fasl/2012-11-13/ecl-12.7.1-b970c5b2-darwin-i686/contrib/swank-fancy-inspector.c:4167: error: for each function it appears in.)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"><br></span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; Internal error:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; ** Error code 1 when executing</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;;; (RUN-PROGRAM "gcc" ("-I." "-I/usr/local/include/" "-g" "-O2" "-fPIC" "-fno-common" "-D_THREAD_SAFE" "-Ddarwin" "-O2" "-w" "-c" ".slime/fasl/2012-11-13/ecl-12.7.1-b970c5b2-darwin-i686/contrib/swank-fancy-inspector.c" "-o" ".slime/fasl/2012-11-13/ecl-12.7.1-b970c5b2-darwin-i686/contrib/swank-fancy-inspector.o"));; </span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;; Error while compiling /Users/tc/Prog/Lisp/Slime/contrib/swank-fancy-inspector.lisp:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;; COMPILE-FILE returned NIL.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;; Aborting.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">;; </span></font></div><div><font face="Monaco"><span style="font-size: 12px;"><br></span></font></div><div><font face="Monaco"><span style="font-size: 12px;">Condition of type: SIMPLE-CONTROL-ERROR</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">Restart ABORT is not active.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"><br></span></font></div><div><font face="Monaco"><span style="font-size: 12px;">Available restarts:</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"><br></span></font></div><div><font face="Monaco"><span style="font-size: 12px;">1. (RESTART-TOPLEVEL) Go back to Top-Level REPL.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"><br></span></font></div><div><font face="Monaco"><span style="font-size: 12px;">Broken at SWANK-LOADER::HANDLE-SWANK-LOAD-ERROR. In: #<process TOP-LEVEL>.</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"> File: #P"/Users/tc/Prog/Lisp/Slime/swank-loader.lisp" (Position #5714)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;">>> (quit)</span></font></div><div><font face="Monaco"><span style="font-size: 12px;"><br></span></font></div><div><font face="Monaco"><span style="font-size: 12px;">Process inferior-lisp finished</span></font></div></div><div><span style="font-family: Monaco; font-size: 12px; ">================================================================================</span></div><div><span style="font-family: Monaco; font-size: 12px; "><br></span></div><div>Do you have any suggestions what the reasons for these errors might be, or how to proceed with debugging them? It would be really great if we could get Iliad running on ECL.</div><div><br></div><div>Best regards,</div><div><br></div><div> Matthias</div></body></html>