On Jun 12, 2024, at 4:02 PM, David G. Johnston <david.g.johns...@gmail.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



Reply via email to