Date: Thu, 23 Oct 2025 13:16:43 +0300
On Thu, 23 Oct 2025 at 13:12, John Spicer via SG21
<sg21_at_[hidden]> wrote:
> It is also not clear that labels is the correct or at least the complete solution to the issue. The need to decorate every pre/post/contract_assert seems unnecessarily burdensome.
Which, to be fair, boils down to *who*, which audience, ends up
decorating most or all of their uses of contracts.
Some disagree with the current choice, and its extensions.
Some, like me, disagree with the suggestion that we have done
sufficient homework to make that call.
<sg21_at_[hidden]> wrote:
> It is also not clear that labels is the correct or at least the complete solution to the issue. The need to decorate every pre/post/contract_assert seems unnecessarily burdensome.
Which, to be fair, boils down to *who*, which audience, ends up
decorating most or all of their uses of contracts.
Some disagree with the current choice, and its extensions.
Some, like me, disagree with the suggestion that we have done
sufficient homework to make that call.
Received on 2025-10-23 10:16:58