[cl-kanren-trs-devel] cl-kanren-trs and asdf3
Faré
fahree at gmail.com
Thu Feb 21 04:55:44 UTC 2013
Dear Lisp hacker(s),
ASDF3 now checks deferred warnings by default.
On SBCL, this means that it will treat as an error
any undeclared free variable, including forward references to special variables
as well as any undefined function that isn't defined by the end of the system.
Using cl-test-grid to compile all the systems in quicklisp,
we found the following failure on a system we believe you maintain.
Can you please fix it?
http://cl-test-grid.appspot.com/blob?key=1e5yml2cea
—♯ƒ • François-René ÐVB Rideau •Reflection&Cybernethics• http://fare.tunes.org
Wishing without work is like fishing without bait.
— Frank Tyger
; file: /home/testgrid/quicklisp-patched2/dists/quicklisp/software/cl-kanren-trs-20120305-svn/cl-kanren-trs/tests/kanren-aux.lisp
; in: DEFUN NOT-PASTAO
; (KANREN-TRS:CONDA
; ((KANREN-TRS:== 'KANREN-TRS-TEST::PASTA KANREN-TRS-TEST::X)
; KANREN-TRS:+FAIL+)
; (KANREN-TRS:ELSE KANREN-TRS:+SUCCEED+))
; --> KANREN-TRS::COND-AUX KANREN-TRS::IFA FUNCTION LET KANREN-TRS::CASE-INF
; --> LET COND IF COND IF PROGN
; ==>
; (LET ((#:G1604 (KANREN-TRS::CHOICE-HEAD #:G1607))
; (#:G1606 (KANREN-TRS::CHOICE-TAIL #:G1607)))
; (DECLARE (IGNORE #:G1606))
; (KANREN-TRS::BIND #:G1605 (KANREN-TRS:ALL KANREN-TRS:+FAIL+)))
;
; caught STYLE-WARNING:
; The variable #:G1604 is defined but never used.
; compiling (DEFUN ONCEO ...)
; compiling (DEFUN BUMPO ...)
; compiling (DEFUN GEN&TESTO ...)
; compiling (DEFUN ENUMERATEO ...)
; compiling (DEFUN GEN-ADDERO-1 ...).
; /home/testgrid/agent-workdir/test-runs/20130220230445-sbcl-1.1.1-linux-x86/fasl/ql/dists/quicklisp/software/cl-kanren-trs-20120305-svn/cl-kanren-trs/tests/kanren-aux-ASDF-TMP.fasl
written
; compilation finished in 0:00:00.257
WARNING:
Lisp compilation had style-warnings while
compiling #<CL-SOURCE-FILE "kanren-trs-test" "kanren-aux">
; compiling file
"/home/testgrid/quicklisp-patched2/dists/quicklisp/software/cl-kanren-trs-20120305-svn/cl-kanren-trs/tests/kanren-tests.lisp"
(written 05 FEB 2013 12:17:43 AM):
; compiling (IN-PACKAGE :KANREN-TRS-TEST)
; compiling (DEFMACRO TESTS ...)
; compiling (DEFUN FAILED-TESTS ...)
; compiling (DEFUN RUN-TESTS ...)
; compiling (DEFPARAMETER *TESTS* ...).................
; file: /home/testgrid/quicklisp-patched2/dists/quicklisp/software/cl-kanren-trs-20120305-svn/cl-kanren-trs/tests/kanren-tests.lisp
; in: DEFPARAMETER *TESTS*
; (KANREN-TRS:CONDA
; ((KANREN-TRS:== 'KANREN-TRS-TEST::VIRGIN KANREN-TRS-TEST::X)
; KANREN-TRS:+FAIL+)
; ((KANREN-TRS:== 'KANREN-TRS-TEST::OLIVE KANREN-TRS-TEST::X)
; KANREN-TRS:+SUCCEED+)
; ((KANREN-TRS:== 'KANREN-TRS-TEST::OIL KANREN-TRS-TEST::X)
; KANREN-TRS:+SUCCEED+)
; (KANREN-TRS:ELSE KANREN-TRS:+FAIL+))
; --> KANREN-TRS::COND-AUX KANREN-TRS::IFA FUNCTION LET KANREN-TRS::CASE-INF
; --> LET COND IF COND IF PROGN
; ==>
; (LET ((#:G1588 (KANREN-TRS::CHOICE-HEAD #:G1591))
; (#:G1590 (KANREN-TRS::CHOICE-TAIL #:G1591)))
; (DECLARE (IGNORE #:G1590))
; (KANREN-TRS::BIND #:G1589 (KANREN-TRS:ALL KANREN-TRS:+FAIL+)))
;
; caught STYLE-WARNING:
; The variable #:G1588 is defined but never used.
; --> KANREN-TRS::COND-AUX KANREN-TRS::IFA FUNCTION LET KANREN-TRS::CASE-INF
; --> LET COND IF PROGN FUNCALL SB-C::%FUNCALL THE
; --> SB-KERNEL:%COERCE-CALLABLE-TO-FUN KANREN-TRS::COND-AUX KANREN-TRS::IFA
; --> FUNCTION LET KANREN-TRS::CASE-INF LET COND IF COND IF PROGN
; ==>
; (LET ((#:G1595 (KANREN-TRS::CHOICE-HEAD #:G1598))
; (#:G1597 (KANREN-TRS::CHOICE-TAIL #:G1598)))
; (DECLARE (IGNORE #:G1597))
; (KANREN-TRS::BIND #:G1596 (KANREN-TRS:ALL KANREN-TRS:+SUCCEED+)))
;
; caught STYLE-WARNING:
; The variable #:G1595 is defined but never used.
; --> KANREN-TRS::COND-AUX KANREN-TRS::IFA FUNCTION LET KANREN-TRS::CASE-INF
; --> LET COND IF PROGN FUNCALL SB-C::%FUNCALL THE
; --> SB-KERNEL:%COERCE-CALLABLE-TO-FUN KANREN-TRS::COND-AUX KANREN-TRS::IFA
; --> FUNCTION LET KANREN-TRS::CASE-INF LET COND IF PROGN FUNCALL
; --> SB-C::%FUNCALL THE SB-KERNEL:%COERCE-CALLABLE-TO-FUN KANREN-TRS::COND-AUX
; --> KANREN-TRS::IFA FUNCTION LET KANREN-TRS::CASE-INF LET COND IF COND IF
; --> PROGN
; ==>
; (LET ((#:G1602 (KANREN-TRS::CHOICE-HEAD #:G1605))
; (#:G1604 (KANREN-TRS::CHOICE-TAIL #:G1605)))
; (DECLARE (IGNORE #:G1604))
; (KANREN-TRS::BIND #:G1603 (KANREN-TRS:ALL KANREN-TRS:+SUCCEED+)))
;
; caught STYLE-WARNING:
; The variable #:G1602 is defined but never used.
; --> KANREN-TRS::COND-AUX KANREN-TRS::IFA FUNCTION LET KANREN-TRS::CASE-INF
; --> LET COND IF COND IF PROGN
; ==>
; (LET ((#:G1565 (KANREN-TRS::CHOICE-HEAD #:G1568))
; (#:G1567 (KANREN-TRS::CHOICE-TAIL #:G1568)))
; (DECLARE (IGNORE #:G1567))
; (KANREN-TRS::BIND #:G1566 (KANREN-TRS:ALL KANREN-TRS:+FAIL+)))
;
; caught STYLE-WARNING:
; The variable #:G1565 is defined but never used.
; --> KANREN-TRS::COND-AUX KANREN-TRS::IFA FUNCTION LET KANREN-TRS::CASE-INF
; --> LET COND IF PROGN FUNCALL SB-C::%FUNCALL THE
; --> SB-KERNEL:%COERCE-CALLABLE-TO-FUN KANREN-TRS::COND-AUX KANREN-TRS::IFA
; --> FUNCTION LET KANREN-TRS::CASE-INF LET COND IF COND IF PROGN
; ==>
; (LET ((#:G1572 (KANREN-TRS::CHOICE-HEAD #:G1575))
; (#:G1574 (KANREN-TRS::CHOICE-TAIL #:G1575)))
; (DECLARE (IGNORE #:G1574))
; (KANREN-TRS::BIND #:G1573 (KANREN-TRS:ALL KANREN-TRS:+SUCCEED+)))
;
; caught STYLE-WARNING:
; The variable #:G1572 is defined but never used.
; --> KANREN-TRS::COND-AUX KANREN-TRS::IFA FUNCTION LET KANREN-TRS::CASE-INF
; --> LET COND IF PROGN FUNCALL SB-C::%FUNCALL THE
; --> SB-KERNEL:%COERCE-CALLABLE-TO-FUN KANREN-TRS::COND-AUX KANREN-TRS::IFA
; --> FUNCTION LET KANREN-TRS::CASE-INF LET COND IF PROGN FUNCALL
; --> SB-C::%FUNCALL THE SB-KERNEL:%COERCE-CALLABLE-TO-FUN KANREN-TRS::COND-AUX
; --> KANREN-TRS::IFA FUNCTION LET KANREN-TRS::CASE-INF LET COND IF COND IF
; --> PROGN
; ==>
; (LET ((#:G1579 (KANREN-TRS::CHOICE-HEAD #:G1582))
; (#:G1581 (KANREN-TRS::CHOICE-TAIL #:G1582)))
; (DECLARE (IGNORE #:G1581))
; (KANREN-TRS::BIND #:G1580 (KANREN-TRS:ALL KANREN-TRS:+SUCCEED+)))
;
; caught STYLE-WARNING:
; The variable #:G1579 is defined but never used.
; (KANREN-TRS:CONDA
; ((KANREN-TRS:== 'KANREN-TRS-TEST::OLIVE KANREN-TRS-TEST::X)
; KANREN-TRS:+SUCCEED+)
; ((KANREN-TRS:== 'KANREN-TRS-TEST::OIL KANREN-TRS-TEST::X)
; KANREN-TRS:+SUCCEED+)
; (KANREN-TRS:ELSE KANREN-TRS:+FAIL+))
; --> KANREN-TRS::COND-AUX KANREN-TRS::IFA FUNCTION LET KANREN-TRS::CASE-INF
; --> LET COND IF COND IF PROGN
; ==>
; (LET ((#:G1549 (KANREN-TRS::CHOICE-HEAD #:G1552))
; (#:G1551 (KANREN-TRS::CHOICE-TAIL #:G1552)))
; (DECLARE (IGNORE #:G1551))
; (KANREN-TRS::BIND #:G1550 (KANREN-TRS:ALL KANREN-TRS:+SUCCEED+)))
;
; caught STYLE-WARNING:
; The variable #:G1549 is defined but never used.
; --> KANREN-TRS::COND-AUX KANREN-TRS::IFA FUNCTION LET KANREN-TRS::CASE-INF
; --> LET COND IF PROGN FUNCALL SB-C::%FUNCALL THE
; --> SB-KERNEL:%COERCE-CALLABLE-TO-FUN KANREN-TRS::COND-AUX KANREN-TRS::IFA
; --> FUNCTION LET KANREN-TRS::CASE-INF LET COND IF COND IF PROGN
; ==>
; (LET ((#:G1556 (KANREN-TRS::CHOICE-HEAD #:G1559))
; (#:G1558 (KANREN-TRS::CHOICE-TAIL #:G1559)))
; (DECLARE (IGNORE #:G1558))
; (KANREN-TRS::BIND #:G1557 (KANREN-TRS:ALL KANREN-TRS:+SUCCEED+)))
;
; caught STYLE-WARNING:
; The variable #:G1556 is defined but never used.
; --> KANREN-TRS::COND-AUX KANREN-TRS::IFA FUNCTION LET KANREN-TRS::CASE-INF
; --> LET COND IF COND IF PROGN
; ==>
; (LET ((#:G1533 (KANREN-TRS::CHOICE-HEAD #:G1536))
; (#:G1535 (KANREN-TRS::CHOICE-TAIL #:G1536)))
; (DECLARE (IGNORE #:G1535))
; (KANREN-TRS::BIND #:G1534 (KANREN-TRS:ALL KANREN-TRS:+SUCCEED+)))
;
; caught STYLE-WARNING:
; The variable #:G1533 is defined but never used.
; --> KANREN-TRS::COND-AUX KANREN-TRS::IFA FUNCTION LET KANREN-TRS::CASE-INF
; --> LET COND IF PROGN FUNCALL SB-C::%FUNCALL THE
; --> SB-KERNEL:%COERCE-CALLABLE-TO-FUN KANREN-TRS::COND-AUX KANREN-TRS::IFA
; --> FUNCTION LET KANREN-TRS::CASE-INF LET COND IF COND IF PROGN
; ==>
; (LET ((#:G1540 (KANREN-TRS::CHOICE-HEAD #:G1543))
; (#:G1542 (KANREN-TRS::CHOICE-TAIL #:G1543)))
; (DECLARE (IGNORE #:G1542))
; (KANREN-TRS::BIND #:G1541 (KANREN-TRS:ALL KANREN-TRS:+SUCCEED+)))
;
; caught STYLE-WARNING:
; The variable #:G1540 is defined but never used.
.
...
; (KANREN-TRS:CONDA
; (KANREN-TRS:+FAIL+ KANREN-TRS:+SUCCEED+)
; (KANREN-TRS:ELSE KANREN-TRS:+FAIL+))
; --> KANREN-TRS::COND-AUX KANREN-TRS::IFA FUNCTION LET KANREN-TRS::CASE-INF
; --> LET COND IF COND IF PROGN
; ==>
; (LET ((#:G1461 (KANREN-TRS::CHOICE-HEAD #:G1464))
; (#:G1463 (KANREN-TRS::CHOICE-TAIL #:G1464)))
; (DECLARE (IGNORE #:G1463))
; (KANREN-TRS::BIND #:G1462 (KANREN-TRS:ALL KANREN-TRS:+SUCCEED+)))
;
; caught STYLE-WARNING:
; The variable #:G1461 is defined but never used.
; ==>
; (LET ((#:G1470 (KANREN-TRS::CHOICE-HEAD #:G1473))
; (#:G1472 (KANREN-TRS::CHOICE-TAIL #:G1473)))
; (DECLARE (IGNORE #:G1472))
; (KANREN-TRS::BIND #:G1471 (KANREN-TRS:ALL KANREN-TRS:+SUCCEED+)))
;
; caught STYLE-WARNING:
; The variable #:G1470 is defined but never used.
; (KANREN-TRS:CONDA
; (KANREN-TRS:+FAIL+ KANREN-TRS:+SUCCEED+)
; (KANREN-TRS:ELSE KANREN-TRS:+SUCCEED+))
; --> KANREN-TRS::COND-AUX KANREN-TRS::IFA FUNCTION LET KANREN-TRS::CASE-INF
; --> LET COND IF COND IF PROGN
; ==>
; (LET ((#:G1479 (KANREN-TRS::CHOICE-HEAD #:G1482))
; (#:G1481 (KANREN-TRS::CHOICE-TAIL #:G1482)))
; (DECLARE (IGNORE #:G1481))
; (KANREN-TRS::BIND #:G1480 (KANREN-TRS:ALL KANREN-TRS:+SUCCEED+)))
;
; caught STYLE-WARNING:
; The variable #:G1479 is defined but never used.
; ==>
; (LET ((#:G1488 (KANREN-TRS::CHOICE-HEAD #:G1491))
; (#:G1490 (KANREN-TRS::CHOICE-TAIL #:G1491)))
; (DECLARE (IGNORE #:G1490))
; (KANREN-TRS::BIND #:G1489 (KANREN-TRS:ALL KANREN-TRS:+SUCCEED+)))
;
; caught STYLE-WARNING:
; The variable #:G1488 is defined but never used.
; (KANREN-TRS:CONDA
; (KANREN-TRS:+SUCCEED+ KANREN-TRS:+FAIL+)
; (KANREN-TRS:ELSE KANREN-TRS:+SUCCEED+))
; --> KANREN-TRS::COND-AUX KANREN-TRS::IFA FUNCTION LET KANREN-TRS::CASE-INF
; --> LET COND IF COND IF PROGN
; ==>
; (LET ((#:G1497 (KANREN-TRS::CHOICE-HEAD #:G1500))
; (#:G1499 (KANREN-TRS::CHOICE-TAIL #:G1500)))
; (DECLARE (IGNORE #:G1499))
; (KANREN-TRS::BIND #:G1498 (KANREN-TRS:ALL KANREN-TRS:+FAIL+)))
;
; caught STYLE-WARNING:
; The variable #:G1497 is defined but never used.
; ==>
; (LET ((#:G1506 (KANREN-TRS::CHOICE-HEAD #:G1509))
; (#:G1508 (KANREN-TRS::CHOICE-TAIL #:G1509)))
; (DECLARE (IGNORE #:G1508))
; (KANREN-TRS::BIND #:G1507 (KANREN-TRS:ALL KANREN-TRS:+FAIL+)))
;
; caught STYLE-WARNING:
; The variable #:G1506 is defined but never used.
; (KANREN-TRS:CONDA
; (KANREN-TRS:+SUCCEED+ KANREN-TRS:+SUCCEED+)
; (KANREN-TRS:ELSE KANREN-TRS:+FAIL+))
; --> KANREN-TRS::COND-AUX KANREN-TRS::IFA FUNCTION LET KANREN-TRS::CASE-INF
; --> LET COND IF COND IF PROGN
; ==>
; (LET ((#:G1515 (KANREN-TRS::CHOICE-HEAD #:G1518))
; (#:G1517 (KANREN-TRS::CHOICE-TAIL #:G1518)))
; (DECLARE (IGNORE #:G1517))
; (KANREN-TRS::BIND #:G1516 (KANREN-TRS:ALL KANREN-TRS:+SUCCEED+)))
;
; caught STYLE-WARNING:
; The variable #:G1515 is defined but never used.
; ==>
; (LET ((#:G1524 (KANREN-TRS::CHOICE-HEAD #:G1527))
; (#:G1526 (KANREN-TRS::CHOICE-TAIL #:G1527)))
; (DECLARE (IGNORE #:G1526))
; (KANREN-TRS::BIND #:G1525 (KANREN-TRS:ALL KANREN-TRS:+SUCCEED+)))
;
; caught STYLE-WARNING:
; The variable #:G1524 is defined but never used.
; /home/testgrid/agent-workdir/test-runs/20130220230445-sbcl-1.1.1-linux-x86/fasl/ql/dists/quicklisp/software/cl-kanren-trs-20120305-svn/cl-kanren-trs/tests/kanren-tests-ASDF-TMP.fasl
written
; compilation finished in 0:00:03.130
WARNING:
Lisp compilation had style-warnings while
compiling #<CL-SOURCE-FILE "kanren-trs-test" "kanren-tests">
; file: /home/testgrid/quicklisp-patched2/dists/quicklisp/software/cl-kanren-trs-20120305-svn/cl-kanren-trs/tests/kanren-tests.lisp
; in: DEFUN KANREN-TRS-TEST::FAILED-TESTS
; (KANREN-TRS-TEST::RUN-TESTS KANREN-TRS-TEST::*TESTS*)
;
; caught WARNING:
; undefined variable: KANREN-TRS-TEST::*TESTS*
; file: /home/testgrid/quicklisp-patched2/dists/quicklisp/software/cl-kanren-trs-20120305-svn/cl-kanren-trs/tests/kanren-aux.lisp
; in: DEFUN KANREN-TRS-TEST::EXT-S-CHECK
; (KANREN-TRS-TEST::EXTEND-SUBST KANREN-TRS-TEST::RHS KANREN-TRS-TEST::LHS
; SUBST)
;
; caught STYLE-WARNING:
; undefined function: KANREN-TRS-TEST::EXTEND-SUBST
; in: DEFUN KANREN-TRS-TEST::UNIFY-CHECK
; (KANREN-TRS-TEST::ID-P KANREN-TRS-TEST::V)
;
; caught STYLE-WARNING:
; undefined function: KANREN-TRS-TEST::ID-P
; in: DEFUN KANREN-TRS-TEST::EXT-S-CHECK
; (KANREN-TRS-TEST::OCCURS-CHECK KANREN-TRS-TEST::RHS KANREN-TRS-TEST::LHS
; SUBST)
;
; caught STYLE-WARNING:
; undefined function: KANREN-TRS-TEST::OCCURS-CHECK
; in: DEFUN KANREN-TRS-TEST::UNIFY-CHECK
; (KANREN-TRS-TEST::WALK KANREN-TRS-TEST::V SUBST)
;
; caught STYLE-WARNING:
; undefined function: KANREN-TRS-TEST::WALK
;
; compilation unit finished
; Undefined functions:
; KANREN-TRS-TEST::EXTEND-SUBST KANREN-TRS-TEST::ID-P
KANREN-TRS-TEST::OCCURS-CHECK KANREN-TRS-TEST::WALK
; Undefined variable:
; KANREN-TRS-TEST::*TESTS*
; caught 1 WARNING condition
; caught 23 STYLE-WARNING conditions
Unhandled SERIOUS-CONDITION of type COMPILE-FAILED-ERROR is signaled:
Lisp compilation failed
More information about the cl-kanren-trs-devel
mailing list