Re: [Chicken-janitors] several bugs.

[felix winkelmann]

On 10/25/07, Elf <address@hidden> wrote:
>
> it doesnt, though.  error in boyer.scm is:
>
> Error: call of non-procedure: #<unbound value>
>
>          Call history:
>
>          <eval>          [add-lemma] (cadr term)
>          <eval>          [add-lemma] (put! (car (cadr term)) (quote lemmas) 
> (cons term (or (get (car (cadr term)) (quote lemmas)) (quote...
>          <eval>          [add-lemma] (car (cadr term))
>          <eval>          [add-lemma] (cadr term)
>          <eval>          [add-lemma] (cons term (or (get (car (cadr term)) 
> (quote lemmas)) (quote ())))
>          <eval>          [add-lemma] (get (car (cadr term)) (quote lemmas))
>          <eval>          [add-lemma] (car (cadr term))
>          <eval>          [add-lemma] (cadr term) <--
>
> whereas the cadr is (compile form) and the car cadr is therefore compile, 
> which
> is a valid symbol.   when putting (get 'somesym 'someprop) into the 
> interpreter,
> we get:
> #;1> (get 'somesym 'someprop)
> Error: call of non-procedure: #<unbound value>
>
>          Call history:
>
>          <syntax>                (get (quote somesym) (quote someprop))
>          <syntax>                (quote somesym)
>          <syntax>                (quote someprop)
>          <eval>          (get (quote somesym) (quote someprop))  <--
>
> same thing.  ive traced it to the aforementioned line in library.scm.  where
> is the default value of '() being set for symbols?
>

I cannot reproduce this problem.


cheers,
felix