Moritz Lenz wrote:
our multi method polar (Complex $nim: --> [ Real $mag where 0..Inf, Real $angle where -π ..^ π ]) is export { ... }

If you put this into a signature, it is checked on every call to that
method and thus slows down execution. If you want a formalization that's
not part of the signature, you find that in the test suite.

That feels unfortunate, to me. Could we not have a pragma/trait that says "for this scope, assume all my post-conditions are true" (also affects POST phasers) that has a command-line (or env-var, whatever) override for debugging? For things in it really should be safe to set such a flag for general use.

Reply via email to