I had feature names in mind when I proposed allowing identifiers in code to be quoted using Eiffel's commenting convention for features (e.g. `attribute').

For classes, it would be more sensible to use Eiffel's commenting convention for classes (e.g. {ATTRIBUTE}).

Therefore, if I had an attribute named `attribute' of type 'ATTRIBUTE', its declaration would be written like this:

    feature
        `attribute': {ATTRIBUTE}

For situations where Eiffel currently requires the class name to be surrounded by braces, there is of course no problem because the class name would still be written as it is currently. For example, if the above feature were to be selectively exported to 'ATTRIBUTE', then the declaration would be written like this:

    feature {ATTRIBUTE}
        `attribute': {ATTRIBUTE}