FIXNUM type checking error during install
"Kambiz Darabi" <[email protected]>
| Newsgroups | gmane.comp.ai.powerloom |
|---|---|
| Message-ID | <[email protected]> |
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--