On Jun 12, 2024, at 4:02 PM, David G. Johnston <david(dot)g(dot)johnston(at)gmail(dot)com> wrote:
> Adding Andrew.
Thank you.
> I'm willing to call this an open item against this feature as I don't see any documentation explaining that string() behaves differently than the others.
Maybe there’s some wording in the standard on this topic?
I’m happy to provide a patch to auto-unwrap .string() in lax mode. Seems pretty straightforward.
D