+ dirname /input/Singularity + REPO_ROOT=/input + cp -r /input/ /usr/local/var/singularity/mnt/container/planner + apt-get update + apt-get -y install git curl zip debconf: delaying package configuration, since apt-utils is not installed + cd /planner + apt-get -y install build-essential automake libcurl4-openssl-dev debconf: delaying package configuration, since apt-utils is not installed + which ros + git clone -b release https://github.com/roswell/roswell.git roswell-src Cloning into 'roswell-src'... + cd roswell-src + sh bootstrap configure.ac:14: installing './compile' configure.ac:10: installing './install-sh' configure.ac:10: installing './missing' src/Makefile.am: installing './depcomp' + ./configure + make make[3]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule. + make install make[2]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule. make[3]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule. + ros setup Installing sbcl-bin... [##########################################################################]100% [ ] 0% [ ] 1% [# ] 1% [# ] 2% [## ] 2% [## ] 3% [## ] 4% [### ] 4% [### ] 5% [#### ] 5% [#### ] 6% [##### ] 6% [##### ] 7% [##### ] 8% [###### ] 8% [###### ] 9% [####### ] 9% [####### ] 10% [######## ] 10% [######## ] 11% [######## ] 12% [######### ] 12% [######### ] 13% [########## ] 13% [########## ] 14% [########### ] 14% [########### ] 15% [########### ] 16% [############ ] 16% [############ ] 17% [############# ] 17% [############# ] 18% [############## ] 18% [############## ] 19% [############## ] 20% [############### ] 20% [############### ] 21% [################ ] 21% [################ ] 22% [################# ] 23% [################# ] 24% [################## ] 24% [################## ] 25% [################### ] 25% [################### ] 26% [#################### ] 27% [#################### ] 28% [##################### ] 28% [##################### ] 29% [###################### ] 29% [###################### ] 30% [###################### ] 31% [####################### ] 31% [####################### ] 32% [######################## ] 32% [######################## ] 33% [######################### ] 33% [######################### ] 34% [######################### ] 35% [########################## ] 35% [########################## ] 36% [########################### ] 36% [########################### ] 37% [############################ ] 37% [############################ ] 38% [############################ ] 39% [############################# ] 39% [############################# ] 40% [############################## ] 40% [############################## ] 41% [############################### ] 41% [############################### ] 42% [############################### ] 43% [################################ ] 43% [################################ ] 44% [################################# ] 44% [################################# ] 45% [################################## ] 46% [################################## ] 47% [################################### ] 47% [################################### ] 48% [#################################### ] 48% [#################################### ] 49% [##################################### ] 50% [##################################### ] 51% [###################################### ] 51% [###################################### ] 52% [####################################### ] 52% [####################################### ] 53% [######################################## ] 54% [######################################## ] 55% [######################################### ] 55% [######################################### ] 56% [########################################## ] 56% [########################################## ] 57% [########################################## ] 58% [########################################### ] 58% [########################################### ] 59% [############################################ ] 59% [############################################ ] 60% [############################################# ] 60% [############################################# ] 61% [############################################# ] 62% [############################################## ] 62% [############################################## ] 63% [############################################### ] 63% [############################################### ] 64% [################################################ ] 64% [################################################ ] 65% [################################################ ] 66% [################################################# ] 66% [################################################# ] 67% [################################################## ] 67% [################################################## ] 68% [################################################### ] 69% [################################################### ] 70% [#################################################### ] 70% [#################################################### ] 71% [##################################################### ] 71% [##################################################### ] 72% [###################################################### ] 73% [###################################################### ] 74% [####################################################### ] 74% [####################################################### ] 75% [######################################################## ] 75% [######################################################## ] 76% [######################################################### ] 77% [######################################################### ] 78% [########################################################## ] 78% [########################################################## ] 79% [########################################################### ] 79% [########################################################### ] 80% [############################################################ ] 81% [############################################################ ] 82% [############################################################# ] 82% [############################################################# ] 83% [############################################################## ] 83% [############################################################## ] 84% [############################################################## ] 85% [############################################################### ] 85% [############################################################### ] 86% [################################################################ ] 86% [################################################################ ] 87% [################################################################# ] 87% [################################################################# ] 88% [################################################################# ] 89% [################################################################## ] 89% [################################################################## ] 90% [################################################################### ] 90% [################################################################### ] 91% [#################################################################### ] 91% [#################################################################### ] 92% [#################################################################### ] 93% [##################################################################### ] 93% [##################################################################### ] 94% [###################################################################### ] 94% [###################################################################### ] 95% [####################################################################### ] 96% [####################################################################### ] 97% [######################################################################## ] 97% [######################################################################## ] 98% [######################################################################### ] 98% [######################################################################### ] 99% [##########################################################################]100% Building sbcl-bin/1.4.7...Install Script for sbcl-bin... Installing Quicklisp... up to date. stop Making core for Roswell... up to date. stop + unzip -o zip/type-r-master.zip -d .roswell/local-projects/ + unzip -o zip/cl-prolog2-master.zip -d .roswell/local-projects/ + unzip -o zip/cl-cudd-master.zip -d .roswell/local-projects/ + mkdir -p .roswell/local-projects/strips/ + cp -t .roswell/local-projects/strips/ strips.asd strips.instance-dependent.asd strips.test.asd + cp -r -t .roswell/local-projects/strips/ preprocess/ lib/ search/ search-instance-dependent/ validate/ + ros install trivial-package-manager [1/3] System 'trivial-package-manager' found. Loading the system.. [2/3] Processing build-hook.. [3/3] Attempting to install the scripts in roswell/ subdirectory of the system... up to date. stop + ros install strips [1/3] System 'strips' found. Loading the system.. ; file: /planner/.roswell/local-projects/strips/lib/indexed-entries.lisp ; in: DEFUN INDEX-INSERT ; (DEFUN STRIPS.LIB:INDEX-INSERT (STRIPS.LIB:INDEX STRIPS.LIB::ELEMENT) ; "insert the element to the index, return the id and a boolean indicating whether the element was insterted." ; (LET ((STRIPS.LIB::A (STRIPS.LIB:INDEX-ARRAY STRIPS.LIB:INDEX)) (STRIPS.LIB::H (STRIPS.LIB:INDEX-HASH STRIPS.LIB:INDEX))) ; (ALEXANDRIA.0.DEV:IF-LET ((STRIPS.LIB:INDEX #)) ; STRIPS.LIB:INDEX ; (MULTIPLE-VALUE-PROG1 (VALUES # T) (VECTOR-PUSH-EXTEND STRIPS.LIB::ELEMENT STRIPS.LIB::A #))))) ; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA ; ==> ; #'(SB-INT:NAMED-LAMBDA STRIPS.LIB:INDEX-INSERT ; (STRIPS.LIB:INDEX STRIPS.LIB::ELEMENT) ; "insert the element to the index, return the id and a boolean indicating whether the element was insterted." ; (BLOCK STRIPS.LIB:INDEX-INSERT ; (LET ((STRIPS.LIB::A #) (STRIPS.LIB::H #)) ; (ALEXANDRIA.0.DEV:IF-LET (#) ; STRIPS.LIB:INDEX ; (MULTIPLE-VALUE-PROG1 # #))))) ; ; note: type assertion too complex to check: ; (VALUES (MOD 4611686018427387900) &OPTIONAL BOOLEAN &REST T). ; file: /planner/.roswell/local-projects/strips/lib/packed-struct.lisp ; in: EVAL-WHEN (:COMPILE-TOPLEVEL :LOAD-TOPLEVEL :EXECUTE) ; (EVAL-WHEN (:COMPILE-TOPLEVEL :LOAD-TOPLEVEL :EXECUTE) ; (DEFSTRUCT ; (STRIPS.LIB::PACKED-STRUCT-LAYOUT ; (:CONSTRUCTOR STRIPS.LIB::MAKE-PACKED-STRUCT-LAYOUT (&KEY STRIPS.LIB::NAME STRIPS.LIB::NAMES STRIPS.LIB::DEFAULTS STRIPS.LIB::TYPES &AUX # # #))) ; (STRIPS.LIB::NAME NIL :TYPE SYMBOL) ; STRIPS.LIB::NAMES ; STRIPS.LIB::DEFAULTS ; STRIPS.LIB::TYPES ; STRIPS.LIB::SIZES ; STRIPS.LIB::OFFSETS)) ; ; caught STYLE-WARNING: ; The variable AUX is defined but never used. ; file: /planner/.roswell/local-projects/strips/lib/packed-struct.lisp ; in: DEFSTRUCT PACKED-STRUCT-LAYOUT ; (DEFSTRUCT ; (STRIPS.LIB::PACKED-STRUCT-LAYOUT ; (:CONSTRUCTOR STRIPS.LIB::MAKE-PACKED-STRUCT-LAYOUT ; (&KEY STRIPS.LIB::NAME STRIPS.LIB::NAMES STRIPS.LIB::DEFAULTS STRIPS.LIB::TYPES &AUX (STRIPS.LIB::SIZES #) (STRIPS.LIB::OFFSETS #) ; (STRIPS.LIB::AUX #)))) ; (STRIPS.LIB::NAME NIL :TYPE SYMBOL) ; STRIPS.LIB::NAMES ; STRIPS.LIB::DEFAULTS ; STRIPS.LIB::TYPES ; STRIPS.LIB::SIZES ; STRIPS.LIB::OFFSETS) ; --> PROGN DEFUN PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA ; ==> ; #'(SB-INT:NAMED-LAMBDA STRIPS.LIB::MAKE-PACKED-STRUCT-LAYOUT ; (&KEY STRIPS.LIB::NAME STRIPS.LIB::NAMES STRIPS.LIB::DEFAULTS STRIPS.LIB::TYPES &AUX ; (STRIPS.LIB::SIZES (MAPCAR #'STRIPS.LIB:SIZE-OF STRIPS.LIB::TYPES)) (STRIPS.LIB::OFFSETS (STRIPS.LIB::COMPUTE-OFFSET STRIPS.LIB::SIZES)) ; (STRIPS.LIB::AUX (ASSERT (EQUAL STRIPS.LIB::NAMES #)))) ; (DECLARE (SB-INT:EXPLICIT-CHECK)) ; (BLOCK STRIPS.LIB::MAKE-PACKED-STRUCT-LAYOUT ; (SB-KERNEL::%MAKE-STRUCTURE-INSTANCE-MACRO # ; '((:SLOT T . 0) (:SLOT T . 1) (:SLOT T . 2) (:SLOT T . 3) (:SLOT T . 4) (:SLOT T . 5)) ; (THE SYMBOL STRIPS.LIB::NAME) STRIPS.LIB::NAMES STRIPS.LIB::DEFAULTS STRIPS.LIB::TYPES STRIPS.LIB::SIZES ; STRIPS.LIB::OFFSETS))) ; ; caught STYLE-WARNING: ; The variable AUX is defined but never used. ; file: /planner/.roswell/local-projects/strips/lib/packed-struct.lisp ; in: DEFUN SIZE-OF ; (LAMBDA (STRIPS.LIB::C) (DECLARE (IGNORABLE)) (LOG:WARN "Substituting the size of ~a with 0" TYPE) (RETURN-FROM STRIPS.LIB:SIZE-OF 0)) ; ==> ; #'(LAMBDA (STRIPS.LIB::C) (DECLARE (IGNORABLE)) (LOG:WARN "Substituting the size of ~a with 0" TYPE) (RETURN-FROM STRIPS.LIB:SIZE-OF 0)) ; ; caught STYLE-WARNING: ; The variable C is defined but never used. ; file: /planner/.roswell/local-projects/strips/lib/packed-struct.lisp ; in: DEFUN ENSURE-PACKED-STRUCT-LAYOUT ; (STRIPS.LIB:SYMBOL-PACKED-STRUCT-LAYOUT STRIPS.LIB::NAME-OR-LAYOUT) ; ; note: type assertion too complex to check: ; (VALUES STRIPS.LIB::PACKED-STRUCT-LAYOUT &REST T). ; file: /planner/.roswell/local-projects/strips/lib/packed-struct.lisp ; in: DEFUN %PACKED-ACCESSOR-ARRAY ; (SETF (STRIPS.LIB::%PACKED-ACCESSOR-INT STRIPS.LIB::NEWVAL (- STRIPS.LIB::SIZE STRIPS.LIB::NEW-POS) STRIPS.LIB::NEW-POS) ; (STRIPS.LIB::%PACKED-ACCESSOR-INT VECTOR (- STRIPS.LIB::SIZE STRIPS.LIB::NEW-POS) STRIPS.LIB::VEC-POS)) ; --> LET* FUNCALL SB-C::%FUNCALL (SETF STRIPS.LIB::%PACKED-ACCESSOR-INT) BLOCK MULTIPLE-VALUE-BIND MULTIPLE-VALUE-CALL FUNCTION LET COND IF THE PROGN SETF ; --> SB-KERNEL:%SET-VECTOR-RAW-BITS LET LET LOGIOR ; ==> ; (STRIPS.LIB::<<64 (LOGAND STRIPS.LIB::NEWVAL STRIPS.LIB::MASK) STRIPS.LIB::OFFSET-BEGIN) ; ; note: *INLINE-EXPANSION-LIMIT* (200) was exceeded, probably trying to ; inline a recursive function. ; file: /planner/.roswell/local-projects/strips/lib/packed-struct.lisp ; in: DEFUN (SETF %PACKED-ACCESSOR-ARRAY) ; (SETF (STRIPS.LIB::%PACKED-ACCESSOR-INT VECTOR (- STRIPS.LIB::SIZE STRIPS.LIB::NEW-POS) STRIPS.LIB::VEC-POS) ; (STRIPS.LIB::%PACKED-ACCESSOR-INT STRIPS.LIB::NEWVAL (- STRIPS.LIB::SIZE STRIPS.LIB::NEW-POS) STRIPS.LIB::NEW-POS)) ; --> LET* FUNCALL SB-C::%FUNCALL (SETF STRIPS.LIB::%PACKED-ACCESSOR-INT) BLOCK MULTIPLE-VALUE-BIND MULTIPLE-VALUE-CALL FUNCTION LET COND IF THE PROGN SETF ; --> SB-KERNEL:%SET-VECTOR-RAW-BITS LET LET LOGIOR ; ==> ; (STRIPS.LIB::<<64 (LOGAND STRIPS.LIB::NEWVAL STRIPS.LIB::MASK) STRIPS.LIB::OFFSET-BEGIN) ; ; note: *INLINE-EXPANSION-LIMIT* (200) was exceeded, probably trying to ; inline a recursive function. ; file: /planner/.roswell/local-projects/strips/lib/packed-struct.lisp ; in: LISP-NAMESPACE:DEFINE-NAMESPACE PACKED-STRUCT-LAYOUT ; (LISP-NAMESPACE:DEFINE-NAMESPACE STRIPS.LIB::PACKED-STRUCT-LAYOUT STRIPS.LIB::PACKED-STRUCT-LAYOUT NIL "A namespace for the layout of the packed structure") ; --> EVAL-WHEN DEFUN PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA ; ==> ; #'(SB-INT:NAMED-LAMBDA STRIPS.LIB:SYMBOL-PACKED-STRUCT-LAYOUT ; (SYMBOL &OPTIONAL (LISP-NAMESPACE::DEFAULT NIL LISP-NAMESPACE::DEFAULT-SUPPLIED-P)) ; "Automatically defined getter function. When DEFAULT is supplied, the value is set automatically." ; (BLOCK STRIPS.LIB:SYMBOL-PACKED-STRUCT-LAYOUT ; (MULTIPLE-VALUE-BIND (LISP-NAMESPACE::VALUE LISP-NAMESPACE::FOUND) ; (GETHASH SYMBOL STRIPS.LIB::*PACKED-STRUCT-LAYOUT-TABLE*) ; (IF LISP-NAMESPACE::FOUND ; LISP-NAMESPACE::VALUE ; (IF LISP-NAMESPACE::DEFAULT-SUPPLIED-P ; # ; #))))) ; ; note: type assertion too complex to check: ; (VALUES STRIPS.LIB::PACKED-STRUCT-LAYOUT &REST T). WARNING: Lisp compilation had style-warnings while compiling # ; file: /planner/.roswell/local-projects/strips/lib/trie.lisp ; in: DEFUN %TRIE-INSERT ; (DEFUN STRIPS.LIB::%TRIE-INSERT (STRIPS.LIB::TRIE LIST) ; (TRIVIA.LEVEL2:MATCH LIST ; (NIL (SETF # STRIPS.LIB::+T+) STRIPS.LIB::TRIE) ; ((LIST* FIRST REST) ; (LET (#) ; (IF STRIPS.LIB::CHILD ; # ; #))))) ; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA ; ==> ; #'(SB-INT:NAMED-LAMBDA STRIPS.LIB::%TRIE-INSERT ; (STRIPS.LIB::TRIE LIST) ; (BLOCK STRIPS.LIB::%TRIE-INSERT ; (TRIVIA.LEVEL2:MATCH LIST ; (NIL (SETF #) STRIPS.LIB::TRIE) ; ((LIST* FIRST REST) ; (LET # ; #))))) ; ; note: Assignment to argument: TRIE ; prevents use of assertion from function type proclamation: ; LIST ; ; file: /planner/.roswell/local-projects/strips/lib/trie.lisp ; in: DEFUN TRIE-INSERT-ALL ; (DEFUN STRIPS.LIB:TRIE-INSERT-ALL (STRIPS.LIB::TRIE STRIPS.LIB::LISTS) ; (ITERATE:ITER ; (ITERATE:FOR LIST ITERATE:IN STRIPS.LIB::LISTS) ; (SETF STRIPS.LIB::TRIE (STRIPS.LIB:TRIE-INSERT STRIPS.LIB::TRIE LIST))) ; STRIPS.LIB::TRIE) ; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA ; ==> ; #'(SB-INT:NAMED-LAMBDA STRIPS.LIB:TRIE-INSERT-ALL ; (STRIPS.LIB::TRIE STRIPS.LIB::LISTS) ; (BLOCK STRIPS.LIB:TRIE-INSERT-ALL ; (ITERATE:ITER ; (ITERATE:FOR LIST ITERATE:IN STRIPS.LIB::LISTS) ; (SETF STRIPS.LIB::TRIE #)) ; STRIPS.LIB::TRIE)) ; ; note: Assignment to argument: TRIE ; prevents use of assertion from function type proclamation: ; LIST ; ; file: /planner/.roswell/local-projects/strips/preprocess/2-translate.lisp ; in: DEFUN FLATTEN-TYPE ; 'PDDL:OBJECT ; ; note: deleting unreachable code ; file: /planner/.roswell/local-projects/strips/preprocess/2-translate.lisp ; in: DEFUN &NNF-DNF ; (STRIPS::REC (STRIPS::&CONDITIONS STRIPS::STACK) ; (TRIVIA.LEVEL2:EMATCH STRIPS::&CONDITIONS ; ((LIST* STRIPS::&FIRST STRIPS::&MORE) (FUNCALL STRIPS::&FIRST (LAMBDA # #))) ; (NIL (FUNCALL STRIPS::K (FARE-QUASIQUOTE::CONS # STRIPS::STACK))))) ; ; caught STYLE-WARNING: ; suspicious variable &CONDITIONS in lambda list: (&CONDITIONS STACK). ; file: /planner/.roswell/local-projects/strips/preprocess/2-translate.lisp ; in: DEFUN &NNF-DNF/EFFECT ; (STRIPS::REC (STRIPS::&CONDITIONS STRIPS::STACK) ; (TRIVIA.LEVEL2:EMATCH STRIPS::&CONDITIONS ; ((LIST* STRIPS::&FIRST STRIPS::&MORE) (FUNCALL STRIPS::&FIRST (LAMBDA # #))) ; (NIL (FUNCALL STRIPS::K (FARE-QUASIQUOTE::CONS # STRIPS::STACK))))) ; ; caught STYLE-WARNING: ; suspicious variable &CONDITIONS in lambda list: (&CONDITIONS STACK). WARNING: Lisp compilation had style-warnings while compiling # ; file: /planner/.roswell/local-projects/strips/preprocess/7-instantiate.lisp ; in: DEFUN INSTANTIATE-EFFECT-AUX2 ; (DEFUN STRIPS::INSTANTIATE-EFFECT-AUX2 (STRIPS::GROUND-CONDITIONS ATOM STRIPS::EFFECTS STRIPS::INDEX STRIPS::TRIE) ; (LET ((STRIPS::E (STRIPS::MAKE-EFFECT))) ; (TRIVIA.LEVEL2:EMATCH STRIPS::E ; ((STRIPS::EFFECT STRIPS::CON :EFF #) ; (LET # ; #) ; (SORT STRIPS::CON #'<) (WHEN # # #) (WHEN # # #))) ; (STRIPS::LINEAR-EXTEND STRIPS::EFFECTS STRIPS::E))) ; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA ; ==> ; #'(SB-INT:NAMED-LAMBDA STRIPS::INSTANTIATE-EFFECT-AUX2 ; (STRIPS::GROUND-CONDITIONS ATOM STRIPS::EFFECTS STRIPS::INDEX STRIPS::TRIE) ; (BLOCK STRIPS::INSTANTIATE-EFFECT-AUX2 ; (LET ((STRIPS::E #)) ; (TRIVIA.LEVEL2:EMATCH STRIPS::E ; (# # # # #)) ; (STRIPS::LINEAR-EXTEND STRIPS::EFFECTS STRIPS::E)))) ; ; caught STYLE-WARNING: ; The variable TRIE is defined but never used. WARNING: Lisp compilation had style-warnings while compiling # ; file: /planner/.roswell/local-projects/strips/preprocess/8-successor-generator.lisp ; in: DEFUN FIND-DEPTH-LIMIT ; (ITERATE:ITER ; (ITERATE:UNTIL (PRIORITY-QUEUE:PQUEUE-EMPTY-P STRIPS::Q)) ; (ITERATE:FOR STRIPS::KEY = (PRIORITY-QUEUE:PQUEUE-FRONT-KEY STRIPS::Q)) ; (ITERATE:FOR STRIPS::PKEY STRIPS::PREVIOUS STRIPS::KEY) ; (WHEN STRIPS::PKEY (WHEN (< STRIPS::PKEY STRIPS::KEY) (SETF STRIPS::MAX-VAR STRIPS::PKEY))) ; (ITERATE:FOR STRIPS::SG = (PRIORITY-QUEUE:PQUEUE-POP STRIPS::Q)) ; (INCF STRIPS::BRANCHES) ; (WHEN (< STRIPS::BRANCH-LIMIT STRIPS::BRANCHES) (RETURN-FROM STRIPS::FIND-DEPTH-LIMIT STRIPS::MAX-VAR)) ; (TRIVIA.LEVEL2:EMATCH STRIPS::SG ; ((STRIPS::SG-NODE VARIABLE STRIPS::THEN STRIPS::ELSE PDDL:EITHER) (UNLESS (LISTP STRIPS::THEN) (PRIORITY-QUEUE:PQUEUE-PUSH STRIPS::THEN # STRIPS::Q)) ; (UNLESS (LISTP STRIPS::ELSE) (PRIORITY-QUEUE:PQUEUE-PUSH STRIPS::ELSE # STRIPS::Q)) ; (UNLESS (LISTP PDDL:EITHER) (PRIORITY-QUEUE:PQUEUE-PUSH PDDL:EITHER # STRIPS::Q))) ; ((LIST* STRIPS::OP-IDS))) ; (ITERATE:FINALLY (RETURN STRIPS:*STATE-SIZE*))) ; --> LET* BLOCK TAGBODY PROGN SYMBOL-MACROLET LET BLOCK BLOCK LET IF LOCALLY ; ==> ; (LET ((VARIABLE (STRIPS::SG-NODE-VARIABLE #:IT2))) ; (LET ((STRIPS::THEN (STRIPS::SG-NODE-THEN #:IT2))) ; (LET ((STRIPS::ELSE #)) ; (LET (#) ; (RETURN-FROM TRIVIA.LEVEL1.IMPL::WHOLE #))))) ; ; caught STYLE-WARNING: ; The variable VARIABLE is defined but never used. ; --> LET* BLOCK TAGBODY PROGN SYMBOL-MACROLET LET BLOCK BLOCK ; ==> ; (LET ((STRIPS::OP-IDS #:WHAT18)) ; (RETURN-FROM TRIVIA.LEVEL1.IMPL::WHOLE ; (LOCALLY ; (LET (#) ; (DECLARE #) ; (BLOCK TRIVIA.LEVEL1.IMPL::WHOLE # #))))) ; ; caught STYLE-WARNING: ; The variable OP-IDS is defined but never used. ; file: /planner/.roswell/local-projects/strips/preprocess/8-successor-generator.lisp ; in: DEFMACRO DO-LEAF ; (DEFMACRO STRIPS:DO-LEAF ((STRIPS::OP-ID STRIPS::STATE STRIPS::SG) &BODY STRIPS::BODY &ENVIRONMENT STRIPS::ENV) ; (ASSERT (SYMBOLP STRIPS::STATE)) ; (ASSERT (SYMBOLP STRIPS::OP-ID)) ; (ASSERT (SYMBOLP STRIPS::SG)) ; (LET ((STRIPS::*SG-COMPILED-DEPTH-LIMIT* (STRIPS::FIND-DEPTH-LIMIT # STRIPS:*SG-COMPILED-BRANCH-LIMIT*))) ; (LOG:INFO "compiled branch limit: ~a" STRIPS:*SG-COMPILED-BRANCH-LIMIT*) ; (LOG:INFO "maximum depth to compile sg: ~a" STRIPS::*SG-COMPILED-DEPTH-LIMIT*) ; (FARE-QUASIQUOTE::LIST (FARE-QUASIQUOTE::QUOTE LABELS) (FARE-QUASIQUOTE::LIST (FARE-QUASIQUOTE::LIST # # #)) ; (STRIPS::COMPILE-ITERATION-OVER-LEAF STRIPS::OP-ID STRIPS::STATE (SYMBOL-VALUE STRIPS::SG) STRIPS::BODY)))) ; ; caught STYLE-WARNING: ; The variable ENV is defined but never used. ; file: /planner/.roswell/local-projects/strips/preprocess/8-successor-generator.lisp ; in: DEFMACRO DO-LEAF ; (DEFMACRO STRIPS:DO-LEAF ((STRIPS::OP-ID STRIPS::STATE STRIPS::SG) &BODY STRIPS::BODY &ENVIRONMENT STRIPS::ENV) ; (ASSERT (SYMBOLP STRIPS::STATE)) ; (ASSERT (SYMBOLP STRIPS::OP-ID)) ; (ASSERT (SYMBOLP STRIPS::SG)) ; (LET ((STRIPS::*SG-COMPILED-DEPTH-LIMIT* (STRIPS::FIND-DEPTH-LIMIT # STRIPS:*SG-COMPILED-BRANCH-LIMIT*))) ; (LOG:INFO "compiled branch limit: ~a" STRIPS:*SG-COMPILED-BRANCH-LIMIT*) ; (LOG:INFO "maximum depth to compile sg: ~a" STRIPS::*SG-COMPILED-DEPTH-LIMIT*) ; (FARE-QUASIQUOTE::LIST (FARE-QUASIQUOTE::QUOTE LABELS) (FARE-QUASIQUOTE::LIST (FARE-QUASIQUOTE::LIST # # #)) ; (STRIPS::COMPILE-ITERATION-OVER-LEAF STRIPS::OP-ID STRIPS::STATE (SYMBOL-VALUE STRIPS::SG) STRIPS::BODY)))) ; --> PROGN EVAL-WHEN SB-C::%DEFMACRO SB-C::%DEFMACRO SB-INT:NAMED-LAMBDA ; ==> ; #'(SB-INT:NAMED-LAMBDA (MACRO-FUNCTION STRIPS:DO-LEAF) ; (#:EXPR STRIPS::ENV) ; (DECLARE (SB-C::LAMBDA-LIST ((STRIPS::OP-ID STRIPS::STATE STRIPS::SG) &BODY STRIPS::BODY))) ; (SB-INT:NAMED-DS-BIND (:MACRO STRIPS:DO-LEAF . DEFMACRO) ; ((STRIPS::OP-ID STRIPS::STATE STRIPS::SG) &BODY STRIPS::BODY) ; (CDR #:EXPR) ; (BLOCK STRIPS:DO-LEAF ; (ASSERT (SYMBOLP STRIPS::STATE)) ; (ASSERT (SYMBOLP STRIPS::OP-ID)) ; (ASSERT (SYMBOLP STRIPS::SG)) ; (LET (#) ; (LOG:INFO "compiled branch limit: ~a" STRIPS:*SG-COMPILED-BRANCH-LIMIT*) ; (LOG:INFO "maximum depth to compile sg: ~a" STRIPS::*SG-COMPILED-DEPTH-LIMIT*) ; (FARE-QUASIQUOTE::LIST # # #))))) ; ; caught STYLE-WARNING: ; The variable ENV is defined but never used. WARNING: Lisp compilation had style-warnings while compiling # ; file: /planner/.roswell/local-projects/strips/search/blind.lisp ; in: STRIPS.LIB:DEFINE-PACKED-STRUCT BLIND ; (STRIPS.LIB:DEFINE-PACKED-STRUCT STRIPS:BLIND ; NIL) ; ; caught STYLE-WARNING: ; The variable LENGTH is defined but never used. ; file: /planner/.roswell/local-projects/strips/search/blind.lisp ; in: STRIPS.LIB:DEFINE-PACKED-STRUCT BLIND ; (STRIPS.LIB:DEFINE-PACKED-STRUCT STRIPS:BLIND ; NIL) ; --> EVAL-WHEN DEFUN PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA ; ==> ; #'(SB-INT:NAMED-LAMBDA STRIPS::MAKE-BLIND-ARRAY ; (LENGTH &KEY STRIPS.LIB::STATIC) ; (DECLARE (IGNORE STRIPS.LIB::STATIC)) ; (BLOCK STRIPS::MAKE-BLIND-ARRAY (ERROR "slow runtime call to ~a!" 'STRIPS::MAKE-BLIND-ARRAY))) ; ; caught STYLE-WARNING: ; The variable LENGTH is defined but never used. WARNING: Lisp compilation had style-warnings while compiling # ; file: /planner/.roswell/local-projects/strips/validate/validate.lisp ; in: DEFMETHOD VALIDATE-PLAN (T T LIST) ; (STRIPS::WITH-TEMP (STRIPS::PLANFILE :DEBUG T) ; (WITH-OPEN-FILE (STRIPS::S STRIPS::PLANFILE :DIRECTION :OUTPUT :IF-EXISTS :SUPERSEDE) (STRIPS::PRINT-PLAN STRIPS::PLAN STRIPS::S)) ; (STRIPS:VALIDATE-PLAN PDDL:DOMAIN PDDL:PROBLEM STRIPS::PLANFILE)) ; --> LET UNWIND-PROTECT FLET #:CLEANUP-FUN-12 BLOCK IF UIOP/RUN-PROGRAM:RUN-PROGRAM FORMAT NAMESTRING ; ==> ; STRIPS::PLANFILE ; ; note: deleting unreachable code ; file: /planner/.roswell/local-projects/strips/validate/validate.lisp ; in: DEFMETHOD VALIDATE-PLAN (T LIST T) ; (STRIPS::WITH-TEMP (STRIPS::PROBLEMFILE :DEBUG T) ; (WITH-OPEN-FILE (STRIPS::S STRIPS::PROBLEMFILE :DIRECTION :OUTPUT :IF-EXISTS :SUPERSEDE) (FORMAT STRIPS::S "~:a" PDDL:PROBLEM)) ; (STRIPS:VALIDATE-PLAN PDDL:DOMAIN STRIPS::PROBLEMFILE STRIPS::PLAN)) ; --> LET UNWIND-PROTECT FLET #:CLEANUP-FUN-12 BLOCK IF UIOP/RUN-PROGRAM:RUN-PROGRAM FORMAT NAMESTRING ; ==> ; STRIPS::PROBLEMFILE ; ; note: deleting unreachable code ; file: /planner/.roswell/local-projects/strips/validate/validate.lisp ; in: DEFMETHOD VALIDATE-PLAN (LIST T T) ; (STRIPS::WITH-TEMP (STRIPS::DOMAINFILE :DEBUG T) ; (WITH-OPEN-FILE (STRIPS::S STRIPS::DOMAINFILE :DIRECTION :OUTPUT :IF-EXISTS :SUPERSEDE) (FORMAT STRIPS::S "~:a" PDDL:DOMAIN)) ; (STRIPS:VALIDATE-PLAN STRIPS::DOMAINFILE PDDL:PROBLEM STRIPS::PLAN)) ; --> LET UNWIND-PROTECT FLET #:CLEANUP-FUN-12 BLOCK IF UIOP/RUN-PROGRAM:RUN-PROGRAM FORMAT NAMESTRING ; ==> ; STRIPS::DOMAINFILE ; ; note: deleting unreachable code ; file: /planner/.roswell/local-projects/strips/validate/validate.lisp ; in: DEFMETHOD VALIDATE-PLAN (PATHNAME PATHNAME PATHNAME) ; (RETURN-FROM STRIPS:VALIDATE-PLAN T) ; ; note: deleting unreachable code ; ; compilation unit finished ; caught 12 STYLE-WARNING conditions ; printed 12 notes [2/3] Processing build-hook.. [3/3] Attempting to install the scripts in roswell/ subdirectory of the system... up to date. stop + ros dynamic-space-size=8000 dump --disable-compression executable roswell/alien.ros -o alien ; file: /usr/local/etc/roswell/dump-sbcl.lisp ; in: DEFUN DELETE-COMPILER-INFORMATION-SBCL ; (SB-INT:CLEAR-INFO :FUNCTION :INLINE-EXPANSION-DESIGNATOR ; ROSWELL.DUMP.SBCL::S) ; ; caught STYLE-WARNING: ; (:FUNCTION :INLINE-EXPANSION-DESIGNATOR) is not a defined info type. ; ; caught STYLE-WARNING: ; (:FUNCTION :INLINE-EXPANSION-DESIGNATOR) is not a defined info type. ; ; compilation unit finished ; caught 2 STYLE-WARNING conditions ; file: /usr/local/etc/roswell/dump-sbcl.lisp ; in: DEFUN DESTROY-PACKAGES-SBCL ; (MAPHASH ; (LAMBDA (PACKAGE-NAME PACKAGE) ; (UNLESS ; (MEMBER PACKAGE-NAME ROSWELL.UTIL.DUMP:*PACKAGE-BLACKLIST* :TEST ; #'STRING=) ; (FORMAT T "Deleting ~s~%" PACKAGE-NAME) ; (SETF # NIL) ; (SETF # NIL) ; (SETF # NIL) ; (SETF # #) ; (SETF # #) ; (SETF # #) ; (SETF # NIL) ; (SETF # NIL) ; (SETF # NIL) ; ...)) ; SB-KERNEL::*PACKAGE-NAMES*) ; --> LET* * LENGTH SB-IMPL::HASH-TABLE-NEXT-VECTOR TRULY-THE ; --> SB-KERNEL:%INSTANCE-REF ; ==> ; (THE HASH-TABLE #:TABLE1) ; ; caught WARNING: ; Derived type of #:TABLE1 is ; (VALUES SB-IMPL::INFO-HASHTABLE &OPTIONAL), ; conflicting with its asserted type ; HASH-TABLE. ; See also: ; The SBCL Manual, Node "Handling of Types" ; ; compilation unit finished ; caught 1 WARNING condition ; file: /usr/local/etc/roswell/dump-sbcl.lisp ; in: DEFUN DELETE-DEBUG-INFO ; (SB-INT:CLEAR-INFO :SOURCE-LOCATION :VOP ROSWELL.DUMP.SBCL::S) ; ; caught STYLE-WARNING: ; (:SOURCE-LOCATION :VOP) is not a defined info type. ; ; compilation unit finished ; caught 1 STYLE-WARNING condition + ./alien Usage: alien.ros [options] [domain] problem [plan-output-file] Got ARGV: NIL -t SEC : Search time limit in sec. : default value: 20 -m KBYTE : maximum amount of memory in MB : default value: 1000 --sg-compiled-branch-limit LIMIT : undocumented : default value: 1000 --effect-compilation-threashold LIMIT : undocumented : default value: unspecified --search-option SEXP : search configurations. : default value: (EAGER (BUCKET-OPEN-LIST (FF/RPG)))