On Wed, Jan 7, 2009 at 1:39 AM, Alexey Beshenov <al at beshenov.ru> wrote:
> 0: ((FLET #:LAMBDA139) #<SIMPLE-TYPE-ERROR {C6B5A91}>)
> 1: ((FLET #:LAMBDA139) #<SIMPLE-TYPE-ERROR {C6B5A91}>)[:EXTERNAL]
> 2: (SIGNAL #<SIMPLE-TYPE-ERROR {C6B5A91}>)[:EXTERNAL]
> 3: (ERROR SIMPLE-TYPE-ERROR)[:EXTERNAL]
> 4: (GETF ($Y) -LABS NIL)
> 5: (QUEUE-P (MNOT $Y) #<unavailable argument>)
> 6: (BEG- (MNOT $Y) #<unavailable argument>)
> 7: (TRUEP #<unavailable argument>)
> 8: (ISP ($NOR $X (MNOT $Y)))
> 9: (MEVALP1 (($NOR) $X ((MNOT) $Y)))
It's getting messed up src/db.lisp (i.e. the "assume" stuff).
I think I've bumped into a similar error, and tried to figure it out,
without success.
I'm not sure what to do, although flushing db.lisp down the proverbial drain
would be an excellent start.
Robert