GNU bug report logs - #16362
compiler doesn't preserve distinctness of literals

Previous Next

Full log

Message #8 received at 16362 <at> debbugs.gnu.org (full text, mbox):

From: Mark H Weaver <mhw <at> netris.org>
To: Zefram <zefram <at> fysh.org>
Cc: 16362 <at> debbugs.gnu.org, request <at> debbugs.gnu.org
Subject: Re: bug#16362: compiler disrespects referential integrity
Date: Wed, 15 Jan 2014 14:57:05 -0500

tags 16362 notabug
thanks

Zefram <zefram <at> fysh.org> writes:
> The guile-2.0.9 compiler doesn't preserve the distinctness of mutable
> objects that are referenced in code via the read-eval (#.) facility.
> (I'm not mutating the code itself, only quoted objects.)

I'm sorry that you've written code that assumes that this is allowed,
but in Scheme all literals are immutable.

> The interpreter, and for comparison guile-1.8, do preserve object
> identity, allowing read-eval to be used to incorporate direct object
> references into code.

It worked by accident in Guile 1.8, but there's simply no way to support
this robustly in an ahead-of-time compiler, which must serialize all
literals to an object file.

    Thanks,
      Mark

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.