On Mon, 12 Jun 2006, Perry Smith wrote: | Could he add a "volatile" keyword to fix it (from the standard point | of view)? I don't see how the standard guarantees that "volatile" will make it work. In general, when there is a type rule violation, "volatile" isn't the answer.
