Re: Compile failure on SBCL 1.0.22

On Dec 12, 2008, at 6:54 AM, Keith James wrote:

> 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

You should use the most recent snapshot.  A lot of bug fixes have gone  
in since our last official release.  In particular, there were a  
number of changes to make PowerLoom work with the stricter type  
inference and enforcement of SBCL and CMUCL.

The current snapshot compiles for me with SBCL 1.0.12 (I haven't  
upgraded in a while).

>
>
> 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
>
>
> _______________________________________________
> powerloom-forum mailing list
> [email protected]
> http://mailman.isi.edu/mailman/listinfo/powerloom-forum