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