Christoffer Lerno
Christoffer Lerno
Is there some proposal how to solve this?
The more I think about this, the less feasible it seems.
Given that we now have even simpler faults I think this is out of the question. We could possibly consider adding some payload that is definable for every error, but...
I'm willing to reopen this, but I would need a solid proposal on how it would work and how it would retain zero overhead compared to the current faults, and...
I will allow it, but it needs to be a concrete proposal how to add it. It's an obvious feature BUT note here that the Rust crate with contracts *is...
I think the problem with contracts as an optimization also contains a fundamental misunderstanding of what contracts are and what they're used for. Contracts enable compile time verification, they only...
So comparing C3 contracts to Rust's contracts crate is just wrong to begin with. It's an uninformed take. Rust's crate will not do static analysis at compile time to prevent...
I am not sure. It needs perhaps some sort of proposal on how it should work `@always_safe` for the module perhaps?
C3 already has design by contract @Ccocconut
Yes, and I see that fn works correctly as well.