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
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
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
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
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
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
* 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
++
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