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