On 10/18/07, Matthew Flatt <mflatt at cs.utah.edu> wrote: > To be clear, this is not a bug in the `class' macro. A `field' > declaration creates a public, externally accessible field, and external > names are symbols. Understood. Thanks guys!