Re: FIXNUM type checking error during install
"Kambiz Darabi" <[email protected]>
| Newsgroups | gmane.comp.ai.powerloom |
|---|---|
| Message-ID | <[email protected]> |
It seems to be a CLISP problem. I downloaded and tried Allegro CL, which loads load-powerloom.lisp without any problems. A FIXNUM is bigger in ACL: CL-USER> (print most-positive-fixnum) 536870911 Is there any workaround for CLISP? Many thanks Kambiz > -----Original Message----- > From: [email protected] > [mailto:[email protected]]On Behalf Of Kambiz Darabi > Sent: Monday, November 13, 2006 5:50 PM > To: [email protected] > Subject: [PowerLoom Forum] FIXNUM type checking error during install > > > Hello, > > I was in search of a powerful KR system when I found powerloom on the web. > > Its features sound great and fit my requirements. > > Now, I tried to install it using CLISP on a Windows machine and get this error while sources/logic/goal-caches.ste is being > processed: > > The value of STELLA::I should be of type FIXNUM. > The value is: #1=48312004 > [Condition of type SIMPLE-TYPE-ERROR] > > I used emacs lisp some decades ago :-), and don't know much about common lisp (yet). > > But I could find out that CLISP' biggest fixnum is: > > (print most-positive-fixnum) > 16777215 > > So, when I load stella, and then evaluate this: > > (string-to-integer "48312004") > > I get the same error ('The value of I should be of type COMMON-LISP:FIXNUM.'). > > Then I redefine string-to-integer to use 'CL:INTEGER' instead of 'CL:FIXNUM' in its check-type: > > (defun (string-to-integer INTEGER) ((string STRING)) > :documentation "Convert the 'string' representation of an integer into an > integer and return the result." > :public? TRUE > (return (verbatim :common-lisp > "(CL:LET ((i (CL:parse-integer string))) > (CL:CHECK-TYPE i CL:INTEGER) > i)" > :otherwise NULL))) > > > Then, I can evaluate the initial string-to-integer form. > > As I said, I'm new to clisp. So please forgive me if I'm making a big mistake. > > What can I do to make it run with CLISP on Windows? > > > Many thanks > > > Kambiz Darabi > > ----- output of clisp > > ; SLIME 2006-04-20 > CL-USER> (CL:load "load-powerloom.lisp") > ;; Loading file load-powerloom.lisp ... > ;; Loading file C:translations.lisp ... > ;; Loaded file C:translations.lisp > ;; Loading file C:load-stella.lisp ... > ;; Loading file C:translations.lisp ... > ;; Loaded file C:translations.lisp > ;; Loading file C:\Programme\powerloom\native\lisp\stella\load-stella.lisp ... > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\cl-lib\cl-setup.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\cl-lib\cl-setup.fas > ;; Loading file C:\Programme\powerloom\native\lisp\stella\cl-lib\make-stella.lisp ... > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\hierarchy.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\hierarchy.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\streams.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\streams.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\taxonomies.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\taxonomies.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\primal.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\primal.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\cl-lib\cl-primal.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\cl-lib\cl-primal.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\startup.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\startup.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\type-predicates.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\type-predicates.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\conses.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\conses.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\lists.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\lists.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\collections.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\collections.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\iterators.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\iterators.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\symbols.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\symbols.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\literals.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\literals.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\classes.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\classes.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\methods.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\methods.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\defclass.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\defclass.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\date-time.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\date-time.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\date-time-parser.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\date-time-parser.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\stella-in.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\stella-in.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\foreach.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\foreach.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\walk.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\walk.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\dynamic-slots.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\dynamic-slots.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\dynamic-literal-slots.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\dynamic-literal-slots.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\cl-translate.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\cl-translate.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\macros.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\macros.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\memoize.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\memoize.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\describe.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\describe.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\demons.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\demons.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\more-demons.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\more-demons.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\name-utility.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\name-utility.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\modules.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\modules.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\contexts.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\contexts.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\read.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\read.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\xml.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\xml.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\translate-file.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\translate-file.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\systems.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\systems.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\cl-translate-file.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\cl-translate-file.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\cpp-translate.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\cpp-translate.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\cpp-translate-file.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\cpp-translate-file.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\cpp-class-out.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\cpp-class-out.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\cpp-output.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\cpp-output.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\java-translate.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\java-translate.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\java-translate-file.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\java-translate-file.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\java-class-out.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\java-class-out.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\java-output.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\java-output.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\idl-translate.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\idl-translate.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\idl-translate-file.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\idl-translate-file.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\idl-class-out.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\idl-class-out.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\idl-output.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\idl-output.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\tools.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\tools.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\cl-lib\stella-to-cl.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\cl-lib\stella-to-cl.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\stella\startup-system.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\stella\startup-system.fas > 0 errors, 0 warnings > Initializing STELLA... > ;; Loaded file C:\Programme\powerloom\native\lisp\stella\cl-lib\make-stella.lisp > ;; Loaded file C:\Programme\powerloom\native\lisp\stella\load-stella.lisp > STELLA 3.4.5 loaded. > Type `(in-package "STELLA")' to execute STELLA commands. > ;; Loaded file C:load-stella.lisp > Making dependent system logic > Processing `C:\Programme\powerloom\sources\logic\logic-macros.ste': > *** Pass 1, generating objects... > *** Pass 2, finalizing objects... > *** Pass 3, walking objects... > Translating `C:\Programme\powerloom\sources\logic\logic-macros.ste' to `Common Lisp'... > Writing `C:\Programme\powerloom\native\lisp\logic\logic-macros.lisp'... > ;; Compiling file C:\Programme\powerloom\native\lisp\logic\logic-macros.lisp ... > ;; Wrote file C:\Programme\powerloom\native\lisp\bin\clisp\logic\logic-macros.fas > ;; Loading file C:\Programme\powerloom\native\lisp\bin\clisp\logic\logic-macros.fas ... > ;; Loaded file C:\Programme\powerloom\native\lisp\bin\clisp\logic\logic-macros.fas > 0 errors, 0 warnings > Processing `C:\Programme\powerloom\sources\logic\logic-macros.ste': > *** Pass 1, generating objects... > Processing `C:\Programme\powerloom\sources\logic\sequence-indices.ste': > *** Pass 1, generating objects... > Processing `C:\Programme\powerloom\sources\logic\kif-in.ste': > *** Pass 1, generating objects... > Processing `C:\Programme\powerloom\sources\logic\propositions.ste': > *** Pass 1, generating objects... > Processing `C:\Programme\powerloom\sources\logic\backlinks.ste': > *** Pass 1, generating objects... > Processing `C:\Programme\powerloom\sources\logic\propagate.ste': > *** Pass 1, generating objects... > Processing `C:\Programme\powerloom\sources\logic\inference-caches.ste': > *** Pass 1, generating objects... > Processing `C:\Programme\powerloom\sources\logic\descriptions.ste': > *** Pass 1, generating objects... > Processing `C:\Programme\powerloom\sources\logic\normalize.ste': > *** Pass 1, generating objects... > Processing `C:\Programme\powerloom\sources\logic\rules.ste': > *** Pass 1, generating objects... > Processing `C:\Programme\powerloom\sources\logic\query.ste': > *** Pass 1, generating objects... > Processing `C:\Programme\powerloom\sources\logic\partial-match.ste': > *** Pass 1, generating objects... > Processing `C:\Programme\powerloom\sources\logic\machine-learning.ste': > *** Pass 1, generating objects... > Processing `C:\Programme\powerloom\sources\logic\rule-induction.ste': > *** Pass 1, generating objects... > Processing `C:\Programme\powerloom\sources\logic\neural-network.ste': > *** Pass 1, generating objects... > Processing `C:\Programme\powerloom\sources\logic\case-based.ste': > *** Pass 1, generating objects... > Processing `C:\Programme\powerloom\sources\logic\goal-caches.ste': > *** Pass 1, generating objects... > > > ---------------- output of sldb > > The value of STELLA::I should be of type FIXNUM. > The value is: #1=48312004 > [Condition of type SIMPLE-TYPE-ERROR] > > Restarts: > 0: [STORE-VALUE] You may input a new value for STELLA::I. > 1: [SKIP] skip (UNLESS # #) > 2: [STOP] stop loading file C:\Programme\powerloom\load-powerloom.lisp > 3: [ABORT-REQUEST] Abort handling SLIME request. > 4: [ABORT] ABORT > > Backtrace: > 0: #<COMPILED-FUNCTION STELLA::STRING-TO-INTEGER> > 1: #<COMPILED-FUNCTION STELLA::STELLA-TOKEN-LIST-TO-S-EXPRESSION> > 2: #<COMPILED-FUNCTION STELLA::READ-S-EXPRESSION> > 3: #<COMPILED-FUNCTION #:|1694 1704 (CLOS:DEFMETHOD NEXT? (#) ...)-185-1-1|> > 4: #<COMPILED-FUNCTION STELLA::OPERATE-ON-FILE> > 5: #<COMPILED-FUNCTION STELLA::HELP-TRANSLATE-SYSTEM> > 6: #<COMPILED-FUNCTION STELLA::TRANSLATE-SYSTEM> > 7: #<COMPILED-FUNCTION STELLA::%MAKE-SYSTEM> > 8: #<COMPILED-FUNCTION STELLA::DEFINE-SYSTEM> > 9: #<COMPILED-FUNCTION STELLA::%DEFSYSTEM> > 10: #<COMPILED-FUNCTION STELLA::DEFSYSTEM-EVALUATOR-WRAPPER> > 11: #<COMPILED-FUNCTION STELLA::EVALUATE-CONS-TREE> > 12: #<COMPILED-FUNCTION STELLA::%EVALUATE> > 13: #<COMPILED-FUNCTION STELLA::EVALUATE-COMMAND> > 14: #<COMPILED-FUNCTION STELLA::%LOAD-FILE> > 15: #<COMPILED-FUNCTION STELLA::GET-SYSTEM-DEFINITION> > 16: #<COMPILED-FUNCTION STELLA::%MAKE-SYSTEM> > 17: #<SPECIAL-OPERATOR UNLESS> > 18: #<SYSTEM-FUNCTION EVAL> > 19: #<COMPILED-FUNCTION SYSTEM::EVAL-LOADED-FORM-LOW> > --more-- > > > > > _______________________________________________ > powerloom-forum mailing list > [email protected] > http://mailman.isi.edu/mailman/listinfo/powerloom-forum