bug-guile
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#24102: Use guile variable objects as SRFI-111 boxes.


From: Mark H Weaver
Subject: bug#24102: Use guile variable objects as SRFI-111 boxes.
Date: Fri, 05 Aug 2016 00:37:40 -0400
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux)

Mark H Weaver <address@hidden> writes:

> As a result, some important properties of SRFI-111 boxes do not hold for
> your proposed implementation.  For example, in SRFI-111, (box? x)
> implies that (box-ref x) will not raise an exception, and this fact can
> be exploited by a compiler to produce better native code for 'box-ref'
> when the type of its argument is known to be a box.  In such cases, I
> guess 'box-ref' can be implemented as a single load instruction, whereas
> 'variable-ref' will require a conditional branch.

s/box-ref/unbox/g

     Mark





reply via email to

[Prev in Thread] Current Thread [Next in Thread]