<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><br class=""></div><div class="">This is a short program for which the compiler creates a file it cannot load. Save this program to a file, then try: <font face="Courier" color="#561029" class=""><b class="">(load (compile-file “this-file.lisp”))</b></font></div><div class=""><br class=""></div><blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;" class=""><div class=""><div class=""><font face="Courier" color="#002e7a" class=""><b class="">;;; This program causes the ABCL compiler to generate code it cannot load.</b></font></div></div><div class=""><div class=""><font face="Courier" color="#002e7a" class=""><b class="">;;;</b></font></div></div><div class=""><div class=""><font face="Courier" color="#002e7a" class=""><b class="">;;; The code compiles and loads correctly if you do any of the following:</b></font></div></div><div class=""><div class=""><font face="Courier" color="#002e7a" class=""><b class="">;;; * change BUFSIZE to be 'INTEGER instead of '(INTEGER 0 100)</b></font></div></div><div class=""><div class=""><font face="Courier" color="#002e7a" class=""><b class="">;;; * delete the INLINE declaration for BUFFER-LENGTH</b></font></div></div><div class=""><div class=""><font face="Courier" color="#002e7a" class=""><b class="">;;; * delete the FTYPE declaration for BUFFER-LENGTH</b></font></div></div><div class=""><div class=""><font face="Courier" color="#002e7a" class=""><b class="">;;; * delete the TYPE declaration for NEW-CAPACITY</b></font></div></div><div class=""><div class=""><font face="Courier" color="#002e7a" class=""><b class=""><br class=""></b></font></div></div><div class=""><div class=""><font face="Courier" color="#002e7a" class=""><b class="">(deftype bufsize () '(integer 0 100))</b></font></div></div><div class=""><div class=""><font face="Courier" color="#002e7a" class=""><b class=""><br class=""></b></font></div></div><div class=""><div class=""><font face="Courier" color="#002e7a" class=""><b class="">(declaim (inline buffer-length)</b></font></div></div><div class=""><div class=""><font face="Courier" color="#002e7a" class=""><b class=""> (ftype (function () bufsize) buffer-length))</b></font></div></div><div class=""><div class=""><font face="Courier" color="#002e7a" class=""><b class="">(defun buffer-length ()</b></font></div></div><div class=""><div class=""><font face="Courier" color="#002e7a" class=""><b class=""> (the bufsize 10))</b></font></div></div><div class=""><div class=""><font face="Courier" color="#002e7a" class=""><b class=""><br class=""></b></font></div></div><div class=""><div class=""><font face="Courier" color="#002e7a" class=""><b class="">(defun calculate-new-buffer-length (new-capacity)</b></font></div></div><div class=""><div class=""><font face="Courier" color="#002e7a" class=""><b class=""> (declare (type bufsize new-capacity))</b></font></div></div><div class=""><div class=""><font face="Courier" color="#002e7a" class=""><b class=""> (min (buffer-length) new-capacity))</b></font></div></div></blockquote><div class=""><div class=""><br class=""></div></div><div class="">As noted in the comment, it is very finicky. There are at least four ways this code could be slightly less-specific and then not trigger the bug. I tried it both with ABCL-1.3.1 and ABCL-1.3.2. The logs of the output are below.</div><div class=""><br class=""></div><div class="">I’d love to be able to say that I’m looking at the compiler now to try to figure out where it’s going wrong, but realistically, I’m not going to have time to delve into it myself, I’ve never really looked at the ABCL compiler before, and I suspect the problem is in the compiling but doesn’t show up until the loading… so it won’t be as easy as exploring the stack when the error shows up.</div><div class=""><br class=""></div><div class="">Thanks,</div><div class="">Patrick</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">Script started on Tue Sep 1 16:33:56 2015</div><div class=""><br class=""></div><div class="">bash-3.2$ cat compile-problem.lisp</div><div class="">;;; This program causes the ABCL compiler to generate code it cannot load.</div><div class="">;;;</div><div class="">;;; The code compiles and loads correctly if you do any of the following:</div><div class="">;;; * change BUFSIZE to be 'INTEGER instead of '(INTEGER 0 100)</div><div class="">;;; * delete the INLINE declaration for BUFFER-LENGTH</div><div class="">;;; * delete the FTYPE declaration for BUFFER-LENGTH</div><div class="">;;; * delete the TYPE declaration for NEW-CAPACITY</div><div class=""><br class=""></div><div class="">(deftype bufsize () '(integer 0 100))</div><div class=""><br class=""></div><div class="">(declaim (inline buffer-length)</div><div class=""> (ftype (function () bufsize) buffer-length))</div><div class="">(defun buffer-length ()</div><div class=""> (the bufsize 10))</div><div class=""><br class=""></div><div class="">(defun calculate-new-buffer-length (new-capacity)</div><div class=""> (declare (type bufsize new-capacity))</div><div class=""> (min (buffer-length) new-capacity))</div><div class=""><br class=""></div><div class="">bash-3.2$ ABCL_HOME=/usr/local/src/abcl-1.3.2 abcl</div><div class="">Armed Bear Common Lisp 1.3.2</div><div class="">Java 1.8.0_45 Oracle Corporation</div><div class="">Java HotSpot(TM) 64-Bit Server VM</div><div class="">Low-level initialization completed in 0.524 seconds.</div><div class="">Startup completed in 2.65 seconds.</div><div class="">Type ":help" for a list of available commands.</div><div class="">CL-USER(1): (load (compile-file "compile-problem.lisp"))</div><div class="">; Compiling /Users/pat/compile-problem.lisp ...</div><div class="">; (DEFTYPE BUFSIZE ...)</div><div class="">; (DECLAIM (INLINE BUFFER-LENGTH) ...)</div><div class="">; (DEFUN BUFFER-LENGTH ...)</div><div class="">; (DEFUN CALCULATE-NEW-BUFFER-LENGTH ...)</div><div class="">; Wrote /Users/pat/compile-problem.abcl (0.208 seconds)</div><div class="">java.lang.VerifyError: (class: org/armedbear/lisp/compile_problem_2, method: execute signature: (Lorg/armedbear/lisp/LispObject;)Lorg/armedbear/lisp/LispObject;) Unable to pop operand off an empty stack</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.lang.Class.getDeclaredConstructors0(Native Method)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.lang.Class.privateGetDeclaredConstructors(Class.java:2671)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.lang.Class.getConstructor0(Class.java:3075)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.lang.Class.newInstance(Class.java:412)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.FaslClassLoader.loadFunction(FaslClassLoader.java:130)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.FaslClassLoader$pf_get_fasl_function.execute(FaslClassLoader.java:165)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.LispThread.execute(LispThread.java:832)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp.evalCall(Lisp.java:582)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp.eval(Lisp.java:540)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp.evalCall(Lisp.java:577)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp.eval(Lisp.java:540)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Load.faslLoadStream(Load.java:667)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Load$init_fasl.execute(Load.java:457)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.LispThread.execute(LispThread.java:832)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp.evalCall(Lisp.java:582)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp.eval(Lisp.java:540)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Load.loadStream(Load.java:629)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Load.loadFileFromStream(Load.java:597)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Load.load(Load.java:224)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Load.load(Load.java:745)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Load$_load.execute(Load.java:693)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Symbol.execute(Symbol.java:852)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.LispThread.execute(LispThread.java:894)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.load_1.execute(load.lisp:33)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.CompiledClosure.execute(CompiledClosure.java:98)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.LispThread.execute(LispThread.java:814)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp.evalCall(Lisp.java:575)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp.eval(Lisp.java:540)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp.eval(Lisp.java:538)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Primitives$pf__eval.execute(Primitives.java:345)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.LispThread.execute(LispThread.java:814)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp.evalCall(Lisp.java:575)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp.eval(Lisp.java:540)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp.progn(Lisp.java:709)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Primitives$sf_block.execute(Primitives.java:3742)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp.eval(Lisp.java:530)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp.progn(Lisp.java:709)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Closure.execute(Closure.java:220)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Closure.execute(Closure.java:148)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.LispThread.execute(LispThread.java:814)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp$1.execute(Lisp.java:285)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Symbol.execute(Symbol.java:803)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.LispThread.execute(LispThread.java:814)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.top_level_47.execute(top-level.lisp:407)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.CompiledClosure.execute(CompiledClosure.java:89)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Symbol.execute(Symbol.java:793)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.LispThread.execute(LispThread.java:798)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.top_level_48.execute(top-level.lisp:415)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.LispThread.execute(LispThread.java:798)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Interpreter.run(Interpreter.java:361)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Main$1.run(Main.java:48)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.lang.Thread.run(Thread.java:745)</div><div class="">Error loading /Users/pat/compile-problem.abcl at line 15 (offset 668)</div><div class="">#<THREAD "interpreter" {33E81276}>: Debugger invoked on condition of type ERROR</div><div class=""> Compiled function can't be loaded: org.armedbear.lisp.compile_problem_2 from org.armedbear.lisp.Pathname@2acec9eb</div><div class="">Restarts:</div><div class=""> 0: TOP-LEVEL Return to top level.</div><div class="">[1] CL-USER(2): 0</div><div class="">CL-USER(3): (quit)</div><div class=""><br class=""></div><div class="">bash-3.2$ ABCL_HOME=/usr/local/src/abcl-bin-1.3.1 abcl</div><div class="">Armed Bear Common Lisp 1.3.1</div><div class="">Java 1.8.0_45 Oracle Corporation</div><div class="">Java HotSpot(TM) 64-Bit Server VM</div><div class="">Low-level initialization completed in 0.471 seconds.</div><div class="">Startup completed in 2.651 seconds.</div><div class="">Type ":help" for a list of available commands.</div><div class="">CL-USER(1): (load (compile-file "compile-problem.lisp"))</div><div class="">; Compiling /Users/pat/compile-problem.lisp ...</div><div class="">; (DEFTYPE BUFSIZE ...)</div><div class="">; (DECLAIM (INLINE BUFFER-LENGTH) ...)</div><div class="">; (DEFUN BUFFER-LENGTH ...)</div><div class="">; (DEFUN CALCULATE-NEW-BUFFER-LENGTH ...)</div><div class="">; Wrote /Users/pat/compile-problem.abcl (0.199 seconds)</div><div class="">java.lang.VerifyError: (class: org/armedbear/lisp/compile_problem_2, method: execute signature: (Lorg/armedbear/lisp/LispObject;)Lorg/armedbear/lisp/LispObject;) Unable to pop operand off an empty stack</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.lang.Class.getDeclaredConstructors0(Native Method)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.lang.Class.privateGetDeclaredConstructors(Class.java:2671)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.lang.Class.getConstructor0(Class.java:3075)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.lang.Class.newInstance(Class.java:412)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.FaslClassLoader.loadFunction(FaslClassLoader.java:130)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.FaslClassLoader$pf_get_fasl_function.execute(FaslClassLoader.java:165)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.LispThread.execute(LispThread.java:832)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp.evalCall(Lisp.java:582)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp.eval(Lisp.java:540)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp.evalCall(Lisp.java:577)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp.eval(Lisp.java:540)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Load.faslLoadStream(Load.java:667)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Load$init_fasl.execute(Load.java:457)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.LispThread.execute(LispThread.java:832)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp.evalCall(Lisp.java:582)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp.eval(Lisp.java:540)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Load.loadStream(Load.java:629)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Load.loadFileFromStream(Load.java:597)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Load.load(Load.java:224)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Load.load(Load.java:745)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Load$_load.execute(Load.java:693)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Symbol.execute(Symbol.java:852)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.LispThread.execute(LispThread.java:894)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.load_1.execute(load.lisp:33)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.CompiledClosure.execute(CompiledClosure.java:98)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.LispThread.execute(LispThread.java:814)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp.evalCall(Lisp.java:575)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp.eval(Lisp.java:540)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp.eval(Lisp.java:538)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Primitives$pf__eval.execute(Primitives.java:345)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.LispThread.execute(LispThread.java:814)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp.evalCall(Lisp.java:575)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp.eval(Lisp.java:540)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp.progn(Lisp.java:709)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Primitives$sf_block.execute(Primitives.java:3742)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp.eval(Lisp.java:530)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp.progn(Lisp.java:709)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Closure.execute(Closure.java:220)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Closure.execute(Closure.java:148)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.LispThread.execute(LispThread.java:814)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Lisp$1.execute(Lisp.java:285)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Symbol.execute(Symbol.java:803)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.LispThread.execute(LispThread.java:814)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.top_level_47.execute(top-level.lisp:407)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.CompiledClosure.execute(CompiledClosure.java:89)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Symbol.execute(Symbol.java:793)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.LispThread.execute(LispThread.java:798)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.top_level_48.execute(top-level.lisp:415)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.LispThread.execute(LispThread.java:798)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Interpreter.run(Interpreter.java:361)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at org.armedbear.lisp.Main$1.run(Main.java:48)</div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.lang.Thread.run(Thread.java:745)</div><div class="">Error loading /Users/pat/compile-problem.abcl at line 15 (offset 668)</div><div class="">#<THREAD "interpreter" {3F8D7E88}>: Debugger invoked on condition of type ERROR</div><div class=""> Compiled function can't be loaded: org.armedbear.lisp.compile_problem_2 from org.armedbear.lisp.Pathname@28015d1d</div><div class="">Restarts:</div><div class=""> 0: TOP-LEVEL Return to top level.</div><div class="">[1] CL-USER(2): 0</div><div class="">CL-USER(3): (quit)</div><div class=""><br class=""></div><div class="">bash-3.2$ ccl --no-init</div><div class="">Welcome to Clozure Common Lisp Version 1.11-dev-r16393-trunk (DarwinX8664)!</div><div class=""><br class=""></div><div class="">CCL is developed and maintained by Clozure Associates. For more information</div><div class="">about CCL visit <a href="http://ccl.clozure.com" class="">http://ccl.clozure.com</a>. To enquire about Clozure's Common Lisp</div><div class="">consulting services e-mail <a href="mailto:info@clozure.com" class="">info@clozure.com</a> or visit <a href="http://www.clozure.com" class="">http://www.clozure.com</a>.</div><div class=""><br class=""></div><div class="">? (load (compile-file "compile-problem.lisp"))</div><div class="">#P"/Users/pat/compile-problem.dx64fsl"</div><div class="">? (quit)</div><div class=""><br class=""></div><div class="">bash-3.2$ sbcl --no-init</div><div class="">This is SBCL 1.2.3.13-3446e1a-dirty, an implementation of ANSI Common Lisp.</div><div class="">More information about SBCL is available at <<a href="http://www.sbcl.org/" class="">http://www.sbcl.org/</a>>.</div><div class=""><br class=""></div><div class="">SBCL is free software, provided as is, with absolutely no warranty.</div><div class="">It is mostly in the public domain; some portions are provided under</div><div class="">BSD-style licenses. See the CREDITS and COPYING files in the</div><div class="">distribution for more information.</div><div class="">* (load (compile-file "compile-problem.lisp"))</div><div class=""><br class=""></div><div class="">; compiling file "/Users/pat/compile-problem.lisp" (written 01 SEP 2015 04:33:38 PM):</div><div class="">; compiling (DEFTYPE BUFSIZE ...)</div><div class="">; compiling (DECLAIM (INLINE BUFFER-LENGTH) ...)</div><div class="">; compiling (DEFUN BUFFER-LENGTH ...)</div><div class="">; compiling (DEFUN CALCULATE-NEW-BUFFER-LENGTH ...)</div><div class=""><br class=""></div><div class="">; /Users/pat/compile-problem.fasl written</div><div class="">; compilation finished in 0:00:00.007</div><div class="">T</div><div class="">* (quit)</div><div class=""><br class=""></div><div class="">bash-3.2$ exit</div><div class=""><br class=""></div><div class="">Script done on Tue Sep 1 16:36:21 2015</div><div class=""><br class=""></div></body></html>