Re: core dump.

Re: core dump.

[Han-Wen Nienhuys]

user42@zip.com.au writes:
> > [Switching to Thread 1074493760 (LWP 27557)]
> > 0x4002f524 in unmemocar (form=0x4050d7b8, env=0x167f) at eval.c:2246
> > (gdb) bt
> > #0  0x4002f524 in unmemocar (form=0x4050d7b8, env=0x167f) at eval.c:2246
> > #1  0x4002f654 in scm_unmemocopy (x=0x404da7e8, env=0x4050de58) at eval.c:2469
> 
> I've seen something like this when an error (an ordinary scheme level
> error) occurs in code generated by a procedure->macro.  Dunno if
> that's what's happening here.  Running without --debug normally avoids
> the segv (though obviously one can't tell quite where it went wrong).

Yeah, I found out so far. Now I have to figure out what in my 10000
lines of Scheme code is causing

	ERROR: In procedure car:
	ERROR: Wrong type argument in position 1: ()

Does anyone actually know how the evaluator works?

-- 

 Han-Wen Nienhuys   |   hanwen@xs4all.nl   |   http://www.xs4all.nl/~hanwen 




_______________________________________________
Bug-guile mailing list
Bug-guile@gnu.org
http://mail.gnu.org/mailman/listinfo/bug-guile

Re: core dump.

[Dirk Herrmann]

Han-Wen Nienhuys wrote:

>user42@zip.com.au writes:
>  
>
>>>[Switching to Thread 1074493760 (LWP 27557)]
>>>0x4002f524 in unmemocar (form=0x4050d7b8, env=0x167f) at eval.c:2246
>>>(gdb) bt
>>>#0  0x4002f524 in unmemocar (form=0x4050d7b8, env=0x167f) at eval.c:2246
>>>#1  0x4002f654 in scm_unmemocopy (x=0x404da7e8, env=0x4050de58) at eval.c:2469
>>>      
>>>
>>I've seen something like this when an error (an ordinary scheme level
>>error) occurs in code generated by a procedure->macro.  Dunno if
>>that's what's happening here.  Running without --debug normally avoids
>>the segv (though obviously one can't tell quite where it went wrong).
>>    
>>
>
>Yeah, I found out so far. Now I have to figure out what in my 10000
>lines of Scheme code is causing
>
>	ERROR: In procedure car:
>	ERROR: Wrong type argument in position 1: ()
>
>Does anyone actually know how the evaluator works?
>  
>
The error you describe could certainly be caused by the statement (car 
'()), but this is not what you are referring to?

Best regards
Dirk



_______________________________________________
Bug-guile mailing list
Bug-guile@gnu.org
http://mail.gnu.org/mailman/listinfo/bug-guile

Re: core dump.

[Kevin Ryde]

Han-Wen Nienhuys  <hanwen@xs4all.nl> writes:
>
> Does anyone actually know how the evaluator works?

For what it's worth, a small example I struck tickling the (or a)
problem in this area is

	(define my-macro
	  (procedure->memoizing-macro
	   (lambda (expr env)
	     (list 'let expr))))
	(my-macro 1 2 3)

The let generated is obviously wrong.  I suspected the memoizing or
something creates a circular list, or something, which has trouble
printing or unmemoizing, or something.

I think it should be pretty important to get even the worst and most
obvious flaws printing successfully under --debug, since of course one
is using that option because it's apparently not obvious what's wrong
:-).


_______________________________________________
Guile-devel mailing list
Guile-devel@gnu.org
http://mail.gnu.org/mailman/listinfo/guile-devel

Re: core dump.

[Neil Jerram]

>>>>> "Han-Wen" == Han-Wen Nienhuys <hanwen@xs4all.nl> writes:

    Han-Wen> Yeah, I found out so far. Now I have to figure out what in my 10000
    Han-Wen> lines of Scheme code is causing

    Han-Wen> 	ERROR: In procedure car:
    Han-Wen> 	ERROR: Wrong type argument in position 1: ()

Surely a backtrace would help you pinpoint the problem?  Is there a
reason why you can't get a backtrace for this error?

        Neil



_______________________________________________
Bug-guile mailing list
Bug-guile@gnu.org
http://mail.gnu.org/mailman/listinfo/bug-guile

Re: uniform-vector? gives true for list

[Roland Orre]

Maybe I should mention that this is both for 1.6.* and for 1.7
and of course for (array? ..) as well.

It would of course be consistent if
(if (array? '(a b c))
    (array-ref '(a b c) 0))
would return 'a without errors, but this is not really
what we want I guess...
	Best regards
	Roland Orre

On Wed, 2004-01-28 at 14:52, Roland Orre wrote:
> guile-user> (uniform-vector? '(a b c))
> #t
> 
> This in both 1.6.4 and 1.7
> 
> 	Best regards
> 	Roland Orre
> 



_______________________________________________
Bug-guile mailing list
Bug-guile@gnu.org
http://mail.gnu.org/mailman/listinfo/bug-guile

Re: uniform-vector? gives true for list

[Kevin Ryde]

Roland Orre <roland.orre@neurologic.se> writes:
>
> Maybe I should mention that this is both for 1.6.* and for 1.7
> and of course for (array? ..) as well.

Looks like any non-immediate object except smobs gives #t,
eg. functions too.


_______________________________________________
Guile-devel mailing list
Guile-devel@gnu.org
http://mail.gnu.org/mailman/listinfo/guile-devel