redoing SCM representation in 2.2

2011-05-12 Thread Andy Wingo
Hello list, I'm looking at new SCM representation and tagging possibilities in 2.2. Read the whole mail please, as it's a little complicated. The current system has a couple of problems: 1) You can only tell a pair by dereferencing the pointer and checking the cell's low bits, and then we

scheme problem!

2011-05-12 Thread Stefan Israelsson Tampe
Somewhere in the program I have, (pk x) (pk (caar l)) (pk (equal? x (caar l))) It outputs ;;; (number) ;;; (number) ;;; (#f) #f is there more to this then meets the eye? /Stefan

Re: redoing SCM representation in 2.2

2011-05-12 Thread nalaginrut
So we'll see a 48-bits solution in 2.2? Sorry I can't say I'm clear since it's a long article. -- GNU Powered it GPL Protected it GOD Blessed it HFG - NalaGinrut --hacker key-- v4sw7CUSMhw6ln6pr8OSFck4ma9u8MLSOFw3WDXGm7g/l8Li6e7t4TNGSb8AGORTDLMen6g6RASZOGCHPa28s1MIr4p-x hackerkey.com ---end k

Re: scheme problem!

2011-05-12 Thread Pierpaolo Bernardi
On Thu, May 12, 2011 at 12:59, Stefan Israelsson Tampe wrote: > Somewhere in the program I have, > > (pk x) > (pk (caar l)) > (pk (equal? x (caar l))) > > It outputs > > ;;; (number) > > ;;; (number) > > ;;; (#f) > > > > #f is there more to this then meets the eye? You will get more signific

Re: redoing SCM representation in 2.2

2011-05-12 Thread Stefan Israelsson Tampe
Looks interesting. I would like to reserve an object for the stack machine I use. Actually I will be fine to model the prolog engine ontop of your segestion if it was not for one idea. So you have a layout of this (X Tag14 Data Tag8) Consider a the following tag in Tag14, frame-tag. Then Data is

Re: scheme problem!

2011-05-12 Thread Neil Jerram
Stefan Israelsson Tampe writes: > Somewhere in the program I have, > > (pk x) > (pk (caar l)) > (pk (equal? x (caar l))) > > It outputs > > ;;; (number) > > ;;; (number) > > ;;; (#f) > > > > #f is there more to this then meets the eye? > /Stefan Well... scheme@(guile-user)> (equal? 'number

[PATCH] Emit a 1-based line number in error messages

2011-05-12 Thread Neil Jerram
* module/ice-9/boot-9.scm (exception-printers): Add 1 to the 0-based line number. --- module/ice-9/boot-9.scm |2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/module/ice-9/boot-9.scm b/module/ice-9/boot-9.scm index 60d133f..6130f85 100644 --- a/module/ice-9/boot-9.scm ++

Re: scheme problem!

2011-05-12 Thread Stefan Israelsson Tampe
Oh well, I found the issue. It was because of my special system. The printed representation of unify variables that point to a point to a point to a symbol got printed as a symbol. I really need to tweak the output to hint if it is a unify variable. And if wingo managed to squeeze in tagging - so