[r6rs-discuss] [Formal] Trivial Enhancement of macros in v5.91: capture-syntax

From: Abdulaziz Ghuloum <aghuloum>
Date: Fri Dec 1 01:53:03 2006

On Nov 30, 2006, at 8:01 AM, William D Clinger wrote:

> With the shared binding, invoke-once semantics,
> non-generative record types work as programmers
> expect, but the draft R6RS doesn't guarantee that
> semantics.

What do programmers expect from non-generative records?

Putting a programmer hat, I expect records instantiated
from non-generative types to be the same every time (when
a library is compiled, visited, invoked, and executed in
a script). Is this consistent with your assumptions?

Aziz,,,
Received on Thu Nov 30 2006 - 09:20:22 UTC