cl-gambol

SBCL 1.4.3 / ASDF 3.3.1

gambol-test

WARNING: UIOP/VERSION:PARSE-VERSION: "0.05" contains leading zeros
WARNING: Invalid :version specifier "0.05" for component "gambol" from file #P"/home/quicklisp/quicklisp-controller/dist/build-cache/cl-gambol/5e9f5015bb42df0d9c70be356ce15dbec537c295/cl-gambol-20180129-git/gambol.asd", using NIL instead
WARNING: System definition file #P"/home/quicklisp/quicklisp-controller/dist/build-cache/cl-ppcre/3d57f1e446e4894097acebf36d52978ddaa62531/cl-ppcre-20180129-git/cl-ppcre.asd" contains definition for system "cl-ppcre-test". Please only define "cl-ppcre" and secondary systems with a name starting with "cl-ppcre/" (e.g. "cl-ppcre/test") in that file.
WARNING: System definition file #P"/home/quicklisp/quicklisp-controller/dist/build-cache/cl-colors/de578abbec472714b24f6283b6275586a7f07d5c/cl-colors-20180129-git/cl-colors.asd" contains definition for system "cl-colors-tests". Please only define "cl-colors" and secondary systems with a name starting with "cl-colors/" (e.g. "cl-colors/test") in that file.

; file: /home/quicklisp/quicklisp-controller/dist/build-cache/cl-gambol/5e9f5015bb42df0d9c70be356ce15dbec537c295/cl-gambol-20180129-git/src/gambol.lisp
; in: DEFUN UNTRAIL
;     (DEFUN GAMBOL::UNTRAIL (GAMBOL::MARK GAMBOL::QSTATE)
;       (DECLARE (INLINE GAMBOL::UNBIND-VAR))
;       (LOOP
;        (IF (EQ (GAMBOL::QSTATE-TRAIL GAMBOL::QSTATE) GAMBOL::MARK)
;            (RETURN)
;            (GAMBOL::UNBIND-VAR (POP #)))))
; --> PROGN 
; ==>
;   (SB-IMPL::%DEFUN 'GAMBOL::UNTRAIL
;                    (SB-INT:NAMED-LAMBDA GAMBOL::UNTRAIL
;                        (GAMBOL::MARK GAMBOL::QSTATE)
;                      (DECLARE (INLINE GAMBOL::UNBIND-VAR))
;                      (BLOCK GAMBOL::UNTRAIL
;                        (LOOP
;                         (IF #
;                             #
;                             #))))
;                    (SB-C:SOURCE-LOCATION))
; 
; caught STYLE-WARNING:
;   Call to GAMBOL::UNBIND-VAR could not be inlined because its source code was not saved. A global INLINE or SB-EXT:MAYBE-INLINE proclamation must be in effect to save function definitions for inlining.

; file: /home/quicklisp/quicklisp-controller/dist/build-cache/cl-gambol/5e9f5015bb42df0d9c70be356ce15dbec537c295/cl-gambol-20180129-git/src/gambol.lisp
; in: DEFUN SEARCH-RULES
;     (DEFUN GAMBOL::SEARCH-RULES
;            (GAMBOL::GOALS GAMBOL::RULES GAMBOL::LEVEL GAMBOL::BACK
;             GAMBOL::QSTATE)
;       (DECLARE (INLINE GAMBOL::SUCCEED-CONTINUE))
;       (LET* ((GAMBOL::GOAL (FIRST GAMBOL::GOALS))
;              (GAMBOL::IS-MOLECULE (GAMBOL::MOLECULE-P GAMBOL::GOAL))
;              (GAMBOL::FSYM
;               (IF GAMBOL::IS-MOLECULE
;                   #
;                   NIL)))
;         (IF (NULL GAMBOL::GOALS)
;             (GAMBOL::SUCCEED GAMBOL::BACK GAMBOL::QSTATE)
;             (CASE GAMBOL::FSYM
;               (= #)
;               (GAMBOL:CUT #)
;               (GAMBOL:IS #)
;               (GAMBOL:ASSERTA # #)
;               (GAMBOL:ASSERTZ # #)
;               (GAMBOL:RETRACT #)
;               (GAMBOL:FAIL #)
;               (GAMBOL:LISP # #)
;               (GAMBOL:LOP #)
;               (GAMBOL:NONVAR #)
;               ...))))
; --> PROGN 
; ==>
;   (SB-IMPL::%DEFUN 'GAMBOL::SEARCH-RULES
;                    (SB-INT:NAMED-LAMBDA GAMBOL::SEARCH-RULES
;                        (GAMBOL::GOALS GAMBOL::RULES GAMBOL::LEVEL GAMBOL::BACK
;                         GAMBOL::QSTATE)
;                      (DECLARE (INLINE GAMBOL::SUCCEED-CONTINUE))
;                      (BLOCK GAMBOL::SEARCH-RULES
;                        (LET* (# # #)
;                          (IF #
;                              #
;                              #))))
;                    (SB-C:SOURCE-LOCATION))
; 
; caught STYLE-WARNING:
;   Call to GAMBOL::SUCCEED-CONTINUE could not be inlined because its source code was not saved. A global INLINE or SB-EXT:MAYBE-INLINE proclamation must be in effect to save function definitions for inlining.

; file: /home/quicklisp/quicklisp-controller/dist/build-cache/cl-gambol/5e9f5015bb42df0d9c70be356ce15dbec537c295/cl-gambol-20180129-git/src/gambol.lisp
; in: DEFUN UNIFY2
;     (DEFUN GAMBOL::UNIFY2 (GAMBOL::X GAMBOL::Y GAMBOL::QSTATE)
;       (DECLARE (INLINE GAMBOL::PL-BIND))
;       (COND
;        ((GAMBOL::VAR? GAMBOL::X)
;         (GAMBOL::PL-BIND GAMBOL::X GAMBOL::*X-ENV* GAMBOL::Y GAMBOL::*Y-ENV*
;          GAMBOL::QSTATE))
;        ((GAMBOL::VAR? GAMBOL::Y)
;         (GAMBOL::PL-BIND GAMBOL::Y GAMBOL::*Y-ENV* GAMBOL::X GAMBOL::*X-ENV*
;          GAMBOL::QSTATE))
;        ((ATOM GAMBOL::X)
;         (IF (EQUALP GAMBOL::X GAMBOL::Y)
;             T
;             GAMBOL::*IMPOSSIBLE*))
;        ((ATOM GAMBOL::Y) GAMBOL::*IMPOSSIBLE*)
;        ((LET (# #)
;           (IF #
;               GAMBOL::*IMPOSSIBLE*
;               #)))))
; --> PROGN 
; ==>
;   (SB-IMPL::%DEFUN 'GAMBOL::UNIFY2
;                    (SB-INT:NAMED-LAMBDA GAMBOL::UNIFY2
;                        (GAMBOL::X GAMBOL::Y GAMBOL::QSTATE)
;                      (DECLARE (INLINE GAMBOL::PL-BIND))
;                      (BLOCK GAMBOL::UNIFY2
;                        (COND (# #) (# #) (# #) (# GAMBOL::*IMPOSSIBLE*) (#))))
;                    (SB-C:SOURCE-LOCATION))
; 
; caught STYLE-WARNING:
;   Call to GAMBOL::PL-BIND could not be inlined because its source code was not saved. A global INLINE or SB-EXT:MAYBE-INLINE proclamation must be in effect to save function definitions for inlining.
WARNING: Lisp compilation had style-warnings while compiling #<CL-SOURCE-FILE "gambol" "src" "gambol">
Unhandled SB-INT:SIMPLE-REFERENCE-ERROR in thread #<SB-THREAD:THREAD "main thread" RUNNING {1001DB0083}>: #<CLOSURE (:MACRO PROVE.TEST:IS) {100BFEA2BB}> is not acceptable to (SETF SYMBOL-FUNCTION).
See also:
  The ANSI Standard, Function FDEFINITION

Backtrace for: #<SB-THREAD:THREAD "main thread" RUNNING {1001DB0083}>
0: (SB-DEBUG::DEBUGGER-DISABLED-HOOK #<SB-INT:SIMPLE-REFERENCE-ERROR "~S is not acceptable to ~S." {100C153383}> #<unused argument> :QUIT T)
1: (SB-DEBUG::RUN-HOOK SB-EXT:*INVOKE-DEBUGGER-HOOK* #<SB-INT:SIMPLE-REFERENCE-ERROR "~S is not acceptable to ~S." {100C153383}>)
2: (INVOKE-DEBUGGER #<SB-INT:SIMPLE-REFERENCE-ERROR "~S is not acceptable to ~S." {100C153383}>)
3: (ERROR SB-INT:SIMPLE-REFERENCE-ERROR :REFERENCES ((:ANSI-CL :FUNCTION FDEFINITION)) :FORMAT-CONTROL "~S is not acceptable to ~S." :FORMAT-ARGUMENTS (#<CLOSURE (:MACRO PROVE.TEST:IS) {100BFEA2BB}> (SETF SYMBOL-FUNCTION)))
4: (SB-IMPL::ERR-IF-UNACCEPTABLE-FUNCTION #<CLOSURE (:MACRO PROVE.TEST:IS) {100BFEA2BB}> (SETF SYMBOL-FUNCTION))
5: ((SETF SYMBOL-FUNCTION) #<CLOSURE (:MACRO PROVE.TEST:IS) {100BFEA2BB}> TEST-IS)
6: (SB-INT:SIMPLE-EVAL-IN-LEXENV (LET* ((#1=#:NEW1 (SYMBOL-FUNCTION (QUOTE PROVE.TEST:IS)))) (FUNCALL (FUNCTION (SETF SYMBOL-FUNCTION)) #1# (QUOTE TEST-IS))) #<NULL-LEXENV>)
7: (SB-INT:SIMPLE-EVAL-IN-LEXENV (PROGN (LET* ((#1=#:NEW1 (SYMBOL-FUNCTION #))) (FUNCALL (FUNCTION (SETF SYMBOL-FUNCTION)) #1# (QUOTE TEST-IS)))) #<NULL-LEXENV>)
8: (SB-EXT:EVAL-TLF (PROGN (LET* ((#1=#:NEW1 (SYMBOL-FUNCTION #))) (FUNCALL (FUNCTION (SETF SYMBOL-FUNCTION)) #1# (QUOTE TEST-IS)))) 3 #<NULL-LEXENV>)
9: ((FLET SB-C::FROB :IN SB-C::EVAL-COMPILE-TOPLEVEL))
10: ((FLET SB-C::DEFAULT-PROCESSOR :IN SB-C::PROCESS-TOPLEVEL-FORM) (LET* ((#1=#:NEW1 (SYMBOL-FUNCTION (QUOTE PROVE.TEST:IS)))) (FUNCALL (FUNCTION (SETF SYMBOL-FUNCTION)) #1# (QUOTE TEST-IS))))
11: (SB-C::PROCESS-TOPLEVEL-FORM (LET* ((#1=#:NEW1 (SYMBOL-FUNCTION (QUOTE PROVE.TEST:IS)))) (FUNCALL (FUNCTION (SETF SYMBOL-FUNCTION)) #1# (QUOTE TEST-IS))) (SB-C::ORIGINAL-SOURCE-START 2 2 3) (:COMPILE-TOPLEVEL))
12: ((FLET SB-C::DEFAULT-PROCESSOR :IN SB-C::PROCESS-TOPLEVEL-FORM) (SETF (SYMBOL-FUNCTION (QUOTE TEST-IS)) (SYMBOL-FUNCTION (QUOTE PROVE.TEST:IS))))
13: (SB-C::PROCESS-TOPLEVEL-FORM (SETF (SYMBOL-FUNCTION (QUOTE TEST-IS)) (SYMBOL-FUNCTION (QUOTE PROVE.TEST:IS))) (SB-C::ORIGINAL-SOURCE-START 0 3) (:COMPILE-TOPLEVEL))
14: (SB-C::PROCESS-TOPLEVEL-PROGN ((SETF (SYMBOL-FUNCTION (QUOTE TEST-IS)) (SYMBOL-FUNCTION (QUOTE PROVE.TEST:IS)))) (SB-C::ORIGINAL-SOURCE-START 0 3) (:COMPILE-TOPLEVEL))
15: (SB-C::PROCESS-TOPLEVEL-FORM (EVAL-WHEN (:COMPILE-TOPLEVEL :LOAD-TOPLEVEL :EXECUTE) (SETF (SYMBOL-FUNCTION (QUOTE TEST-IS)) (SYMBOL-FUNCTION (QUOTE PROVE.TEST:IS)))) (SB-C::ORIGINAL-SOURCE-START 0 3) NIL)
16: ((LAMBDA (SB-KERNEL:FORM &KEY :CURRENT-INDEX &ALLOW-OTHER-KEYS) :IN SB-C::SUB-SUB-COMPILE-FILE) (EVAL-WHEN (:COMPILE-TOPLEVEL :LOAD-TOPLEVEL :EXECUTE) (SETF (SYMBOL-FUNCTION (QUOTE TEST-IS)) (SYMBOL-FUNCTION (QUOTE PROVE.TEST:IS)))) :CURRENT-INDEX 3)
17: (SB-C::%DO-FORMS-FROM-INFO #<FUNCTION (LAMBDA (SB-KERNEL:FORM &KEY :CURRENT-INDEX &ALLOW-OTHER-KEYS) :IN SB-C::SUB-SUB-COMPILE-FILE) {2223F0FB}> #<SB-C::SOURCE-INFO {100C0E0103}> SB-C::INPUT-ERROR-IN-COMPILE-FILE)
18: (SB-C::SUB-SUB-COMPILE-FILE #<SB-C::SOURCE-INFO {100C0E0103}>)
19: ((FLET SB-THREAD::WITH-RECURSIVE-LOCK-THUNK :IN SB-C::SUB-COMPILE-FILE))
20: ((FLET "WITHOUT-INTERRUPTS-BODY-29" :IN SB-THREAD::CALL-WITH-RECURSIVE-LOCK))
21: (SB-THREAD::CALL-WITH-RECURSIVE-LOCK #<CLOSURE (FLET SB-THREAD::WITH-RECURSIVE-LOCK-THUNK :IN SB-C::SUB-COMPILE-FILE) {7FFFF6DA668B}> #<SB-THREAD:MUTEX "World Lock" owner: #<SB-THREAD:THREAD "main thread" RUNNING {1001DB0083}>> T NIL)
22: ((LAMBDA NIL :IN SB-C::SUB-COMPILE-FILE))
23: ((FLET SB-C::WITH-IT :IN SB-C::%WITH-COMPILATION-UNIT))
24: (SB-C::SUB-COMPILE-FILE #<SB-C::SOURCE-INFO {100C0E0103}>)
25: (COMPILE-FILE #P"/home/quicklisp/quicklisp-controller/dist/build-cache/cl-gambol/5e9f5015bb42df0d9c70be356ce15dbec537c295/cl-gambol-20180129-git/t/gambol.lisp" :OUTPUT-FILE #P"/home/quicklisp/.cache/common-lisp/sbcl-1.4.3-linux-x64/home/quicklisp/quicklisp-controller/dist/build-cache/cl-gambol/5e9f5015bb42df0d9c70be356ce15dbec537c295/cl-gambol-20180129-git/t/gambol-tmpAAURSO1.fasl" :VERBOSE NIL :PRINT NIL :EXTERNAL-FORMAT :UTF-8 :TRACE-FILE NIL :BLOCK-COMPILE NIL :EMIT-CFASL NIL)
26: (UIOP/UTILITY:CALL-WITH-MUFFLED-CONDITIONS #<CLOSURE (LAMBDA NIL :IN UIOP/LISP-BUILD:COMPILE-FILE*) {100C0DD50B}> NIL)
27: (UIOP/PATHNAME:CALL-WITH-ENOUGH-PATHNAME #P"/home/quicklisp/quicklisp-controller/dist/build-cache/cl-gambol/5e9f5015bb42df0d9c70be356ce15dbec537c295/cl-gambol-20180129-git/t/gambol.lisp" NIL #<CLOSURE (LAMBDA (UIOP/LISP-BUILD::INPUT-FILE) :IN UIOP/LISP-BUILD:COMPILE-FILE*) {100C0DCA8B}>)
28: (UIOP/LISP-BUILD:COMPILE-FILE* #P"/home/quicklisp/quicklisp-controller/dist/build-cache/cl-gambol/5e9f5015bb42df0d9c70be356ce15dbec537c295/cl-gambol-20180129-git/t/gambol.lisp" :OUTPUT-FILE #P"/home/quicklisp/.cache/common-lisp/sbcl-1.4.3-linux-x64/home/quicklisp/quicklisp-controller/dist/build-cache/cl-gambol/5e9f5015bb42df0d9c70be356ce15dbec537c295/cl-gambol-20180129-git/t/gambol.fasl" :EXTERNAL-FORMAT :UTF-8 :WARNINGS-FILE NIL)
29: (ASDF/LISP-ACTION:PERFORM-LISP-COMPILATION #<ASDF/LISP-ACTION:COMPILE-OP > #<ASDF/LISP-ACTION:CL-SOURCE-FILE "gambol-test" "t" "gambol">)
30: ((SB-PCL::EMF ASDF/ACTION:PERFORM) #<unused argument> #<unused argument> #<ASDF/LISP-ACTION:COMPILE-OP > #<ASDF/LISP-ACTION:CL-SOURCE-FILE "gambol-test" "t" "gambol">)
31: ((LAMBDA NIL :IN ASDF/ACTION:CALL-WHILE-VISITING-ACTION))
32: ((:METHOD ASDF/ACTION:PERFORM-WITH-RESTARTS :AROUND (T T)) #<ASDF/LISP-ACTION:COMPILE-OP > #<ASDF/LISP-ACTION:CL-SOURCE-FILE "gambol-test" "t" "gambol">) [fast-method]
33: ((:METHOD ASDF/PLAN:PERFORM-PLAN (T)) #<ASDF/PLAN:SEQUENTIAL-PLAN {1005A7FC93}>) [fast-method]
34: ((FLET SB-C::WITH-IT :IN SB-C::%WITH-COMPILATION-UNIT))
35: ((:METHOD ASDF/PLAN:PERFORM-PLAN :AROUND (T)) #<ASDF/PLAN:SEQUENTIAL-PLAN {1005A7FC93}>) [fast-method]
36: ((:METHOD ASDF/OPERATE:OPERATE (ASDF/OPERATION:OPERATION ASDF/COMPONENT:COMPONENT)) #<ASDF/LISP-ACTION:LOAD-OP > #<ASDF/SYSTEM:SYSTEM "gambol-test"> :PLAN-CLASS NIL :PLAN-OPTIONS NIL) [fast-method]
37: ((SB-PCL::EMF ASDF/OPERATE:OPERATE) #<unused argument> #<unused argument> #<ASDF/LISP-ACTION:LOAD-OP > #<ASDF/SYSTEM:SYSTEM "gambol-test">)
38: ((LAMBDA NIL :IN ASDF/OPERATE:OPERATE))
39: ((:METHOD ASDF/OPERATE:OPERATE :AROUND (T T)) #<ASDF/LISP-ACTION:LOAD-OP > #<ASDF/SYSTEM:SYSTEM "gambol-test">) [fast-method]
40: ((SB-PCL::EMF ASDF/OPERATE:OPERATE) #<unused argument> #<unused argument> ASDF/LISP-ACTION:LOAD-OP "gambol-test")
41: ((LAMBDA NIL :IN ASDF/OPERATE:OPERATE))
42: ((:METHOD ASDF/OPERATE:OPERATE :AROUND (T T)) ASDF/LISP-ACTION:LOAD-OP "gambol-test") [fast-method]
43: (ASDF/SESSION:CALL-WITH-ASDF-SESSION #<CLOSURE (LAMBDA NIL :IN ASDF/OPERATE:OPERATE) {1005A783FB}> :OVERRIDE T :KEY NIL :OVERRIDE-CACHE T :OVERRIDE-FORCING NIL)
44: ((LAMBDA NIL :IN ASDF/OPERATE:OPERATE))
45: (ASDF/SESSION:CALL-WITH-ASDF-SESSION #<CLOSURE (LAMBDA NIL :IN ASDF/OPERATE:OPERATE) {1005A34BBB}> :OVERRIDE NIL :KEY NIL :OVERRIDE-CACHE NIL :OVERRIDE-FORCING NIL)
46: ((:METHOD ASDF/OPERATE:OPERATE :AROUND (T T)) ASDF/LISP-ACTION:LOAD-OP "gambol-test") [fast-method]
47: (DEPCHECK::COMPUTE-DEPENDENCIES "gambol-test" "gambol-test")
48: (DEPCHECK::MAGIC "gambol-test" "gambol-test" "/home/quicklisp/quicklisp-controller/tmp/anonymous/anonymous-xVcyh6tz/depcheck-win.txt")
49: (DEPCHECK::MAIN ("depcheck" "/home/quicklisp/quicklisp-controller/dist/system-file-index" "gambol-test" "gambol-test" "/home/quicklisp/quicklisp-controller/tmp/anonymous/anonymous-xVcyh6tz/depcheck-win.txt" "/home/quicklisp/quicklisp-controller/tmp/anonymous/anonymous-xVcyh6tz/depcheck-fail.txt"))
50: ((LAMBDA NIL :IN "/home/quicklisp/src/quicklisp-controller/dumper-2SKVI5f7.lisp"))
51: ((FLET SB-UNIX::BODY :IN SB-EXT:SAVE-LISP-AND-DIE))
52: ((FLET "WITHOUT-INTERRUPTS-BODY-36" :IN SB-EXT:SAVE-LISP-AND-DIE))
53: ((LABELS SB-IMPL::RESTART-LISP :IN SB-EXT:SAVE-LISP-AND-DIE))

unhandled condition in --disable-debugger mode, quitting
; 
; compilation unit aborted
;   caught 2 fatal ERROR conditions
;   caught 3 STYLE-WARNING conditions