Inconsistent behaviour of the pattern matcher

2013-04-28 Thread Panicz Maciej Godek
Hi, I've traced something that is not entirely a bug, but which was a little surprise for me. It has to do with the extensions that guile provides to the Scheme language -- namely, uniform vectors and arrays. The (ice-9 match) module offers the syntax (match #(1 2 3) (#(a b c) (list a b c)))

Re: thinking out loud: wip-rtl, ELF, pages, and mmap

2013-04-28 Thread Andy Wingo
Hi, On Wed 24 Apr 2013 22:23, Andy Wingo writes: > I'll change the linker to always emit sections and segments that > correspond exactly in their on-disk layout and in their in-memory > layout. (In ELF terms: segments are contiguous, with p_memsz == > p_filesz.) I'll put commonly needed things

Re: Inconsistent behaviour of the pattern matcher

2013-04-28 Thread Mark H Weaver
Panicz Maciej Godek writes: > I've traced something that is not entirely a bug, but which was a > little surprise for me. It has to do with the extensions that guile > provides to the Scheme language -- namely, uniform vectors and arrays. > > The (ice-9 match) module offers the syntax > (match #(

Re: thinking out loud: wip-rtl, ELF, pages, and mmap

2013-04-28 Thread Ludovic Courtès
Hello! >From my high-level POV, this all makes sense, and sounds very cool. :-) Ludo’.

Re: The 2.0.9 VM cores in enqueue (threads.c:309)

2013-04-28 Thread Ludovic Courtès
Hi, Andrew Gaylard skribis: > (gdb) bt > #0 0x7e77b5f4 in enqueue (q=0x1010892c0, t=0x1018aac20) at > threads.c:309 > #1 0x7e77bc20 in block_self (queue=0x1010892c0, > sleep_object=0x1010892d0, mutex=0x1019eef00, waittime=0x0) at > threads.c:452 > #2 0x7e77df50 in fat_

Re: Inconsistent behaviour of the pattern matcher

2013-04-28 Thread Stefan Israelsson Tampe
On Sun, Apr 28, 2013 at 2:51 PM, Mark H Weaver wrote: > Panicz Maciej Godek writes: > > > I've traced something that is not entirely a bug, but which was a > > little surprise for me. It has to do with the extensions that guile > > provides to the Scheme language -- namely, uniform vectors and a

Re: Inconsistent behaviour of the pattern matcher

2013-04-28 Thread Mark H Weaver
Stefan Israelsson Tampe writes: > On Sun, Apr 28, 2013 at 2:51 PM, Mark H Weaver wrote: > > Panicz Maciej Godek writes: > > > (match #u8(1 2 3) > > (#u8(a b c) > > (list a b c))) > > This can't work because a uniform numeric vector cannot hold > symbols, so >

Re: Inconsistent behaviour of the pattern matcher

2013-04-28 Thread Stefan Israelsson Tampe
On Sun, Apr 28, 2013 at 7:30 PM, Mark H Weaver wrote: > Stefan Israelsson Tampe writes: > > > On Sun, Apr 28, 2013 at 2:51 PM, Mark H Weaver wrote: > > > > Panicz Maciej Godek writes: > > > > > (match #u8(1 2 3) > > > (#u8(a b c) > > > (list a b c))) > > > > This can't work

Re: thinking out loud: wip-rtl, ELF, pages, and mmap

2013-04-28 Thread Nala Ginrut
On Wed, 2013-04-24 at 22:23 +0200, Andy Wingo wrote: > Hi, > > I've been working on wip-rtl recently. The goal is to implement good > debugging. I'll give a bit of background and then get to my problem. > > In master, ".go" files are written in the ELF format. ELF is nice > because it embodies

Re: The 2.0.9 VM cores in enqueue (threads.c:309)

2013-04-28 Thread Andrew Gaylard
On 04/28/13 03:07, Daniel Hartwig wrote: On 28 April 2013 03:57, Andrew Gaylard wrote: Those 0x304 values look dodgy to me, and explain why the SCM_SETCDR causes an invalid memory access. 0x304 is SCM_EOL. Hi Daniel, Thanks for the feedback. Are you saying that the 0x304 values are fine, a