
4 Nov
2015
4 Nov
'15
2:56 p.m.
On Tue, 3 Nov 2015, Evan Laforge wrote:
I can work around by putting underscores on field names I haven't used yet, but it's a hassle to go edit them when I want to use them.
I do it this way and I do not consider it a work-around. The underscore is just the shortest way to say that a record field name is not used. It's shorter than any pragma could be.