unofficial mirror of bug-guile@gnu.org 
 help / color / mirror / Atom feed
* bug#10337: cdr of `(cons #nil #nil)' is not nil
@ 2011-12-21  3:49 BT Templeton
  2011-12-22  3:05 ` Andy Wingo
  2011-12-22  3:06 ` Andy Wingo
  0 siblings, 2 replies; 3+ messages in thread
From: BT Templeton @ 2011-12-21  3:49 UTC (permalink / raw)
  To: 10337

I'm using Guile 2.0.3.87-b798 on x86_64-unknown-linux-gnu.

Guile's compiler fails to maintain the distinction between the nil
object and the empty list in some cases:

scheme@(guile-user)> (equal? (cons #t #nil) (cons #t '()))
$1 = #t
scheme@(guile-user)> (eq? (cdr (cons #t #nil)) (cdr (cons #t '())))
$2 = #t
scheme@(guile-user)> (compile '(cons #t #nil) #:from 'scheme #:to
  'tree-il)
$3 = #<tree-il (apply (toplevel cons) (const #t) (const #nil))>
scheme@(guile-user)> (compile '(cons #t #nil) #:from 'scheme #:to 'glil)
$4 = #<glil (program () (std-prelude 0 0 #f) (label :LCASE136) (const
  #t) (call list 1) (call return 1)>)

-- 
Inteligenta persono lernas la lingvon Esperanton rapide kaj facile.
Esperanto estas moderna, kultura lingvo por la mondo. Simpla, fleksebla,
belsona, Esperanto estas la praktika solvo de la problemo de universala
interkompreno. Lernu la interlingvon Esperanton!





^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2011-12-22  3:06 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2011-12-21  3:49 bug#10337: cdr of `(cons #nil #nil)' is not nil BT Templeton
2011-12-22  3:05 ` Andy Wingo
2011-12-22  3:06 ` Andy Wingo

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).