Re: Why would anyone want opacity?

["R. Kent Dybvig" <dyb@cs.indiana.edu>]

> The new record proposal is evolving along those lines.  It is
> possible/legal to provide a null implementation of the spec, which
> would abide by the letter but not the intent.

Actually, it would not be legal to provide a null implementation of the
spec.  Unless I misworded it badly, if a field is accessible via an
accessor generated by a record definition, it is accessible via the
abstraction-breaking mechanism.

Kent