Allow empty field names?


Is there a reason to prohibit empty (quoted) record or union labels? I ran into this in Dhall for Java while writing some property-based round-trip tests where I had arbitrary JSON values that included objects with empty field names. I can easily filter these out, but I tried changing + to * in the equivalent of quoted-label there, and allowing empty labels doesn’t seem to break anything. Am I missing something?


@travisbrown: There’s no particular reason why they are forbidden. We just never thought to permit them


@Gabriel439 Thanks, I’ll go ahead and open a proposal PR then.