Compile failure on SBCL 1.0.22

Keith James <[email protected]> Fri, 12 Dec 2008 14:54:29 +0000
Newsgroups gmane.comp.ai.powerloom
Message-ID <[email protected]>
Hi,

I'm looking at PowerLoom to provide ontology-based reasoning for my Common 
Lisp bioinformatics applications. I'm getting a type error when compiling on 
SBCL.

Powerloom 3.2.0

CL-USER> (list (lisp-implementation-version) (machine-type))
("1.0.22" "X86")

In primal.lisp

Cannot set SYMBOL-VALUE of STELLA::*HASH-BYTE-RANDOM-TABLE* to :NULL_VALUE 
(not of type SIMPLE-VECTOR.)
   [Condition of type SIMPLE-TYPE-ERROR]

Restarts:
 0: [RETRY] Retry SLIME REPL evaluation request.
 1: [ABORT] Return to SLIME's top level.
 2: [TERMINATE-THREAD] Terminate this thread (#<THREAD "repl-thread" RUNNING 
{AB670F9}>)

Backtrace:
  0: (SB-INT:ABOUT-TO-MODIFY-SYMBOL-VALUE 
STELLA::*HASH-BYTE-RANDOM-TABLE* "set SYMBOL-VALUE of ~S" :NULL_VALUE)
  1: (SET STELLA::*HASH-BYTE-RANDOM-TABLE* :NULL_VALUE)
  2: (SB-IMPL::%DEFVAR ..)


In literals.lisp

Cannot set SYMBOL-VALUE of STELLA::*CHARACTER-TYPE-TABLE* to :NULL_VALUE (not 
of type SIMPLE-VECTOR.)
   [Condition of type SIMPLE-TYPE-ERROR]

Restarts:
 0: [RETRY] Retry SLIME REPL evaluation request.
 1: [ABORT] Return to SLIME's top level.
 2: [TERMINATE-THREAD] Terminate this thread (#<THREAD "repl-thread" RUNNING 
{AB670F9}>)

Backtrace:
  0: (SB-INT:ABOUT-TO-MODIFY-SYMBOL-VALUE STELLA::*CHARACTER-TYPE-TABLE* "set 
SYMBOL-VALUE of ~S" :NULL_VALUE)
  1: (SET STELLA::*CHARACTER-TYPE-TABLE* :NULL_VALUE)
  2: (SB-IMPL::%DEFVAR ..)


I think this is due to these specials being declaimed to be one type (vectors) 
when already NULL. I hacked through these manually to allow compilation to 
complete with many type warnings (all involving :NULL_VALUE as far as I can 
see). Finally I get the following when

(stella::make-system "powerloom" :common-lisp)

is called, where the reader seems to choke:

Illegal read syntax: `" +---------------------------- BEGIN LICENSE 
BLOCK ---------------------------+
 |                                                                            |
 | Version: MPL 1.1/GPL 2.0/LGPL 
2.1                                          |
 |                                                                            |
 | The contents of this file are subject to the Mozilla Public 
License        |
 | Version 1.1 (the \"License\"); you may not use this file except 
in           |
 | compliance with the License. You may obtain a copy of the License 
at       |
 | 
http://www.mozilla.org/MPL/                                                |
 |                                                                            |
 | Software distributed under the License is distributed on an \"AS IS\" 
basis, | ..
   [Condition of type STELLA::READ-EXCEPTION]

Restarts:
 0: [RETRY] Retry SLIME REPL evaluation request.
 1: [ABORT] Return to SLIME's top level.
 2: [TERMINATE-THREAD] Terminate this thread (#<THREAD "repl-thread" RUNNING 
{AB670F9}>)

Backtrace:
  0: (STELLA::TOKENIZE-S-EXPRESSION #<unavailable argument> #<unavailable 
argument>)
  1: (STELLA::READ-S-EXPRESSION #<unavailable argument>)
  2: ((SB-PCL::FAST-METHOD STELLA::NEXT? (STELLA::S-EXPRESSION-ITERATOR)) 
#<unavailable argument> #<unavailable argument> #<unavailable argument>)
  3: (STELLA::%LOAD-FILE #<unavailable argument>)
  4: (STELLA::GET-SYSTEM-DEFINITION #<unavailable argument>)
  5: (STELLA::DEFINE-SYSTEM #<unavailable argument> #<unavailable argument>)
  6: (STELLA::EVALUATE-CONS-TREE #<unavailable argument>)
  7: (STELLA::%EVALUATE #<unavailable argument>)
  8: (STELLA::EVALUATE-COMMAND #<unavailable argument> #<unavailable 
argument>)
  9: (STELLA::%LOAD-FILE #<unavailable argument>)
 10: (STELLA::GET-SYSTEM-DEFINITION #<unavailable argument>)
 11: (STELLA::%MAKE-SYSTEM #<unavailable argument> #<unavailable argument> 
#<unavailable argument>)
 12: (SB-INT:SIMPLE-EVAL-IN-LEXENV 
(STELLA::MAKE-SYSTEM "powerloom" :COMMON-LISP) #<NULL-LEXENV>)
 13: (SB-INT:SIMPLE-EVAL-IN-LEXENV (PROGN 
(STELLA::MAKE-SYSTEM "powerloom" :COMMON-LISP)) #<NULL-LEXENV>)
 14: (SB-INT:SIMPLE-EVAL-IN-LEXENV (UNLESS (STELLA::SYSTEM-LOADED? "logic") 
(STELLA::MAKE-SYSTEM "powerloom" :COMMON-LISP)) #<NULL-LEXENV>)
 15: (SB-FASL::LOAD-AS-SOURCE #<SB-SYS:FD-STREAM 
for "file /home/keith/lib/powerloom-3.2.0/load-powerloom.lisp" {AF0B879}> NIL 
NIL)
 16: ((FLET SB-FASL::LOAD-STREAM) #<SB-SYS:FD-STREAM 
for "file /home/keith/lib/powerloom-3.2.0/load-powerloom.lisp" {AF0B879}>)
 17: (LOAD "/home/keith/lib/powerloom-3.2.0/load-powerloom.lisp")[:EXTERNAL]
 18: (SB-INT:SIMPLE-EVAL-IN-LEXENV 
(LOAD "/home/keith/lib/powerloom-3.2.0/load-powerloom.lisp") #<NULL-LEXENV>)
 19: (SWANK::EVAL-REGION "(load 
\"/home/keith/lib/powerloom-3.2.0/load-powerloom.lisp\")\n")
 20: ((LAMBDA ()))

-- 
Keith