It does seem bizarre to supply an interface that lets users change all the fields, and then check that they haven't used it. On Wed, Jan 12, 2005 at 09:32:12PM -0800, Isaac Jones wrote: > Though the advantage of the buildinfo type is that the inability to > over-ride is enforced by the typechecker. and the type makes the usage clear.