Re: [Chicken-janitors] several bugs.

[Elf]

oh, i probably should have said what im running:
linux 2.6.20.5
glibc 2.3.6
gcc 3.4.6
chicken 2.727

dont know what else is relevant.

-elf


On Thu, 25 Oct 2007, felix winkelmann wrote:

> 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